%FILENAME%
minisat-2.2.1.20201216-1.0-i486.pkg.tar.zst

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-1.0

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
70792

%ISIZE%
239231

%MD5SUM%
8ddfd517cf675c5fd42420cc193c990a

%SHA256SUM%
4723f0b0b1b923e2bdd87b8660b9f88665ae144abf77233eaf15927e799047c0

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmC/yyAACgkQyOj1oK+bp+c88gf+IMticgBKVrd73rEaz1BCIKxjOsjOYpqE5miqYUb6jboWKHAFvlZM7S9Hynr1IWBTc1Q2XZYU3OiJQ87U3lsDBkniJh/SLpskO+e4XGYGrZ0coKc4uUGi8igB6hzT26HzPXknKqFCKro75aF5l6PCiDk+b1E6GJhIzIRkZ7nibwDMFmFR3vjw3pTvkBN3LJT9OPwRWuEbxrdps5clJSyMQ0f0BVCoLJrecEr/f0lCk/3M1zjdfaq2Ieb+Uf+AEQQvqBqbmvxFXK5vJ1xKGChy5Ui1OxCMGMBxWEUPqz8+W919LQCu2fCUkhVo7+P+royDcQ/JWQLMckrshRspWpaunQ==

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
i486

%BUILDDATE%
1623182088

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
gcc-libs
zlib

