%FILENAME%
cryptominisat5-5.6.6-1-armv6h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.6-1

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

%CSIZE%
408736

%ISIZE%
1295360

%MD5SUM%
c3c74eae7c8d9144f231890d1a48df31

%SHA256SUM%
d1d64209bee90d227c03b45ec633fa6db1e612f189021ee8832f4438eb2842bf

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwhoe8ACgkQdxk/FSvb5qbSMg/+IBKRBNGqYc+roUeipI41R+ntI4wJpMDINMchUqCpP2Ti8BFSyluxd5l5Rr1ZU0upRhErmemIJcZOE2087R2n2XLLtQJl7WLO9ANNr6MZVnlfD/VjWRGF36n+8qkV+r17zc7rDlZBGc8RZkxeAJv3Og5rNdI5mwbIVR4HuRezkinzpLmvpbOqyzl2W1x7CVcu6fgOJ73LvjFTjBhXRtZmyDr3GDXrUjORilPqE3NdHNkLFJNG/ZVlMDVlPuDGQy81w2PFgAZTkhwQflM/U7JprxC8yGjHpWIHWlnfz1vA2bm+Ynwh66UMLSPHNq7SY6IdCvT8Mbu3FZ2jZ2i/vbPHFwuOlCo6806LtOisKHeUDaLAMuuPifiP37mBsUVj456j/D8yV9t1y1MWRqa8es+4U+FbE6+11lhR41vkl4imJsxaJ29XFrDzVL0KLXUPWH3e1kkkgjvFvRi+RMOg1uq/wuMkzu+HvyNne8l064MhxqWVlvaenbPZo0W8qe4p+MXKAyOveAjd81F26T+V8Cz8tbcSQi8j93t2sG1pn70gTz+l74PmA3TxzmnVgEWzDnr7gH2vP/1cA7wv8Z3WzExlf72b/C/lt/nqsTIRi4HRQpt21uvfCRsUnTKUwlDuY1hAJDXqA/go2Ntj4Qg8SUTYtIeHl/FYBl/mO6F8E9v0rTA=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1545707860

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

