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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-2

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

%CSIZE%
429244

%ISIZE%
1385472

%MD5SUM%
09b077faf1b7fc76f5ca163c8ee5657c

%SHA256SUM%
73ea398d41ceaebb46ee93c28b57028d930abff0719637485154ed5caa30dba2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlyKmRwACgkQdxk/FSvb5qZvhBAAkvQlk/z5jmkcvC9+8F/GCrvPCkzSsg0iSOckr4OeJ5Xf185CLznmYVOyn4nxpoIQSFbur7JTUyrRvkGP4VYo6WOtTf/9w5wDXujFjpuNrhO6p50dtfWL6+WK6x7Qt2htHASPCPP8+udCSMHuKfey86ZTAGqtrWOQ2sGoeLf18mTL7PxiMyYnjMYeGCaL5/fAF/8Luh5WipVsOI/jGtdyStGEOimLQU1lo8LHBeLZs00430HiWYaF8Eoz6N2gvmHN/Ad9JFE++sb4OP75o4coUDJ8UgE7ENWRXG8sEYLUSDN40oEXfT+h54BaOvv9lJnVrdg1NSqhofUp1v10T3XRLF+YXFWfD8ZnNCf3d8az8OM7JmCJruHAg2SjlA/N6FkfeeauAx/rPYOwZrxuxo/U6kUCjD4ediyPp6wKZWtfnUcw+N11ZIT5bA3ydupzLPxIEFoi3EFtykjqTayEKFnsZoPQQD/OBB4RfRwr5knRzLLkVlZPuEPb9DANakVY35rF/FqL7MpCB51mXdVQRJ+ZpwrQRRrOfmDSHZ1TylgTsPDN5Ub4b+bTrgo6zKBHkbTDPQormP4XsAUwCKxk4x12EB/VN5pBPgj1WwhwTAXlKkqZNe61euyKbMocEb/I6LCwpHWZN+419BKHtfyys9Y5iJYvCa7yTixiAtd5RbcZw0E=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1552586860

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

