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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
68925

%ISIZE%
232527

%SHA256SUM%
d3dbb4464b9330fbe9e109e719979759f03db3afba53f662f5563cb29fabde14

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnBEREACgkQeGxj8zDXy5KDjRAArwXTd9/4gAKa1GeVMYGiMrjrxVyXPCXfi3t6EjSzGee8wAkWGnKVQ7FtSfGpM3WT2lZKEpHnTTpkRaq69ORNcYAaaweTl7cNJGK/DqzjDptdLgosdwiwuvH6yskHXoZv3mlwSWqyyzF2QQpIoxY3J66YdHhEcAXuCzc6y/GI7fKg/0FgBfEmvW4gfqfJSRlR2CtUqJfNlNXGNiOsbrWkg5b894YK4r2RAHw0a0fXn6CxT79YPM8ee4FzGujaR6/wt5Pt/yD1kS6uSVItN/G750IbZGfPWGcJut9WCvrK3SrLGs6OpAQgNBWbWEFfw0QSHKuHp+yALrThEEl0Q5jBboYA58VVTGyteY/jmAu2lHXC6ePRdRvbxvKXWZWp2AJUACs7zO75acNNXfsLh/Ppbzc8hJJ3WjATKoEKg33ojqqCNpkj0JJz7jfrNOzEx+XsOY2Ibt1YIyviMzlGPv9reOO5lTc0cMraybFka9hChgKuAGUGOLE7iMgy+JqOnTOtSZHHd096J9NvipSGsdY43vxv+V+gK1Qs2YbDdKpC/ZSTl0jL9kJWQ0s6LcOJdrlSt+Ag7hx8l3rlBipdpmQ1SEBlfnOaO9AknDovk7xHgI3fuPZ+QwYwCuJM////XfPgOvKj0NuDUM4Axsle6Yumb35WYzcr2TSz5wN/9vQ8HgM=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774260458

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

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

