%FILENAME%
cryptominisat5-5.0.1-2-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%VERSION%
5.0.1-2

%DESC%
A modern, multi-threaded, feature-rich, simplifying SAT solver

%CSIZE%
417684

%ISIZE%
1260544

%MD5SUM%
fe29c4e8e5b0da631e26fc70542c87a4

%SHA256SUM%
85bec7a1e310d8d652151f3cd65fe4bb64ac76e506af4aa8ce1ab8bdb1340299

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlnDzG8ACgkQdxk/FSvb5qbAChAArZDg8aWr/wHZlMnOt6JTHQPjGwaN5XCQSrlEIiP+XWMCNPhzj4h9zNCm46W/dd3GEnlBhU640I5Hz6RuDZUk3DfZvAVYtfl+7diYlo+b4PyFNV/udZ3pLMtZsdnG7dW9+xeWe7Frby8NtZqCdQPBrD+4jAQ1K2soTTBxImpwwEPKzeOr8EU3JTiOdY8fjua7dfDQQNr+Twztgc4jM1R9yMnFxfFjy80T7j+voT8bVHqsLW6WUtVkpISPHG7JHxCbJsmsrWVjDKKfGvrZiKz/cCi92SLzLlBH95MM0R/b4XQ4PolNvfdpR5sZW1h9CdVDl90RRpQFmcCkbd11M4UGHR2xYPGSySSYUNy1ElRgGXklkbtwtyisiXJFcLO3NoVxjFftZD1HaA1P8Wy/YalXTwHQ1fZMmJxHwQebznK+nL8r1wFF455EBiXycugZotLNyRS+x5Hb2Xk1H7A5ICTe0hvZRoeY4ORiwaxzVLZszWPagI3aLrZ512CpOpmneNBgJDeweHhxOXoKAYbAWs83zDaxQQN2Ezd/6eGc2PcY1q2CS7wpd4QD93Ib3Ev23YKeOfd7qUUhhM3c0nXWzK5obxxncWz8zxnTXf3RzuN5Q2CcdOYI5OZRg1SSC72UlCoff0zu/pgb+OlUfCPnNZlMoCIJvvn9bEv5XQ3yKEqgwIE=

%URL%
https://github.com/msoos/cryptominisat/

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1506004074

%PACKAGER%
Arch Linux ARM Build System <builder+xu3@archlinuxarm.org>

