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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.6-2

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

%CSIZE%
409816

%ISIZE%
1307648

%MD5SUM%
4470e5ccdf57a11f30392973afb83b8c

%SHA256SUM%
dd37dd7309dd6b4607cfd7073d28b341401afd26bc31ff4a94199216a3729bb0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlw/qiwACgkQdxk/FSvb5qZi8hAAj3a84AQi1Y1f2JNvPNOdZbaLWv8lXWXRNfcfoUkPYMdR59tdqNJpbW3+BqzzGrhL2ZvfnuuAdJ2D9iBy3NCE/yQjib1IsXXqRDnSnjTJ6egk2bbp1rXA4DemUacRk7S+ny9J5g/GvYlL/j9r+mp6+2z1FFcorkmBrDD4DlYowfCXCBaMYR2trqZIEy/bikdMqrSfrCOkubEspc4ABofFHJzCx3nB+Mr13yiP27csXMgNqzklis97MLVjJ/mBzEeWL+RIVaprxW5wQjB60Rtrxg6F/aBwnf975CXrReFE2HtdB9tWJEk9l0FovtuumDiGpDnb1KvEoPVWxgHUUaI8jwK7gOfS5JH3GD1s/Mxv2CT35J2lvUmin7nwS0OWw8AR4BrHr3hNS0esfYh7MxXEH6CNtYpIiU9DAwco2ig/BSoGxqpAEOYIGzE6DxZvtMlt8ENyhhMLBeYajn9/Yb+icbf756KlJR8kUuKz1iRV4eYlJ2fYK3WANWdBQuO1JPXYatiqKAcL4xp4Hl1yvx2WcdJ57O9GYK77cznXpaBMz+wJiOEDDJoTPPzJLoq27l5gdZrd2m8eQYlxCk5KF17KQ0wbMRst0A/rm5bwi1ACTPnBYe/w8Mlygg3ZZ67BxIf1HVH+SB7hHUhyGk1CtOD8EB1sEycf/4bnwVpaqhTW+hg=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1547676038

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

