%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%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhNeQUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwYnvQ/7BCFLL8Q9OZRSEYZ+sOp/BNBKETCzDtfpeKT17RdS1pJuOnzstwMfN6IQH4KkYb3wc6Qz4eO0vNDfbVBEZNecxPdCHkQkYEsux6K/r1wKn523Yt4VBrJUOrPqN1Hdh/L75eKzSh7N0isGqYU15SDq3N1Z+8OW3e1dBNZV15OK4mf3OX4unil1fFCuvCiBRIqt92JoGGyDZpK6QPWeg9hXWHAqmQKAuxVqV2GdmfOeikNsIySk7dZCBo8gjDJLuyay5jpN3TayQk2fLmBX6vktNJH4otai/TdoVBBvm/3+mKr6+IeuvvpRYUZ/H6w9fWJfamp4hKlUoP5BThVEhQbIPaElSC5soqgTKKQB8gewG5fOp5r/jN9WYeEYJ4+F90QrTBi5o06tfUUt9bEOpgOpCikYraqlPjaK05FbedbcLH0SATCevbBuO+fPMy1XdfrJ4lh3CxXVD+2aWg5sUroWQ6Geg1itgHMio1N6gcqK+cWp/29vmthwSg5LAnpaamgGWV/3FM/bq+CzXgd7NVfbKwkRzqHBACxpLVct4+awd45k2/kxDQZk5UbcMqATWyvg2h9IIYNq/IfXfDWcA/Whg7PneIZ9hNzBFg3rzHbXUuUzKRkUvbQfi3xQmCS1japUfKPysbTvkjIo9XR969Gfa4oWGHtSLmUYgfQvtNRCufI=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1623087271

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

%DEPENDS%
gcc-libs
zlib

