%FILENAME%
minisat-2.2.1.20201216-2.0-i686.pkg.tar.zst

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-2.0

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
68012

%ISIZE%
227135

%MD5SUM%
f0093a6bacd8e7be108da1d3cfd51e8c

%SHA256SUM%
74cc376488dccc3170e2ac6a12a27453d4a7c31ef9a0ce4e1e4c13a9de9b8049

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAma3VyQACgkQyOj1oK+bp+csygf9GDirT1wge14KLdf3UA5xHmrI9l4ECikbS3s0Kfw8ICFMt0V4dEZ8WKtOwal6X77qsa9TQ2oWX0YrBQo6iDbVOZkbzSvIb8N8aAkUXTqK6J4NtsjLaVOQjQ121XpCJRLPvzdgcrrYdsExtkaBn7qJ0e1qiEiTNTyZerfLRecr2R+zoir4/wrCpgyT7/KYgHvTueBKHtfqiIBSO1eAd5E3WFuu147qvSwt3/23uE1GrB1DVoy4UV87VQJTKLTAMfaa0DFo7eT4+sQnF1Jb5vsh2RRNKJ59evxHJgrsziniqjNgpMXL56jR4vkA1X+GG7bdiuaU6hINE1gDkge25qHWJw==

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
i686

%BUILDDATE%
1723291393

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

%DEPENDS%
gcc-libs
zlib

