%FILENAME%
minisat-2.2.1.20201216-1-x86_64.pkg.tar.zst

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
68330

%ISIZE%
236239

%MD5SUM%
c36fa0ddd4bc50de73398e3f3ddc46ea

%SHA256SUM%
0c5002901c673164f62d5cd9ae8080a8268afeab624343a157ff833027f232a3

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCb2AUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwbPIhAAwE49bjJPSQ+J4t5waiA5u5xSiuHws036I5N/COPY4oi4Wa1qZb6u+kuJflV5NLhulZxyl/EBanWMD++v3TQHtE7zhgVQyq8+0nqCbMdzyj0ECHW0AdV8sO5evESsyeWx9X+oHHU1NLfWTqq9yq3By6nQcBShd45VolYi43GpmvQSSNSDBD+EMIXQMWF4swKkpMffAz/jr3zY1hB52p40i/NvVBVdv3jtFI5mD4/ejJFoCRmW7+XNWsR4SXIpzXIlhwWLdzER/5ZoEpsz033F00ofz4ujXKI0RSnGseBjhZ+b4fuxLLgcQz2/i3fY77hSTusp3XonLLwJeKjSKJ7G0Hx8J3/hJ3O4zElzcq5CjFx8za1gaT34vJpYNLqUotgW1r6QSyTrTO1QpfIpcYwwwMzXEViXUixflgYnFchH+Mb+gJ54i35GGXfysUSaT6Bvpv1GbAXARLwqYJ51lY9jjKrcK1jQrMFUVGyA2IWVp6vjKUwLLUg+2aReS2GoDSUWn53JHcoTwJ+my6XwmCElNeU8k6EC3W41JZmJnouSXos9U9TexyCetoICNl1HeLqA87KTM050WPk1Drr501BU7f7qpgt4kmYxoZggvyUNU8evbEwPAWqEERLBzwySfkDBUGoych+lvxWWWbWGAMxCRm2dvQ0Wq++tiwvCvMAM+Cc=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1623087271

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
gcc-libs
zlib

