%FILENAME%
minisat-2.2.1.20201216-2-armv7h.pkg.tar.xz

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-2

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
59968

%ISIZE%
210751

%MD5SUM%
9641598b7d76a2303741d1b433f84abf

%SHA256SUM%
9d2607fa87b57d1ef0c9d93ca3eb0eb0f17d374ee0f0a38d956c9b842f2b4146

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmaSqW8ACgkQdxk/FSvb5qZFQQ/9FJeAKVL120hAJ7HelKDtnwE2rl1vtB7/0H1FQSaYCnIWnleBoy03WsIAag8Dfs7Jh/GN5pZlAUB7P/D1awWMBxRDZd8Fcw74uBhNL3uE0LDFrm2DLIcjenkWZjS/+zY07sBROD5Um+JUzlN/u3GPPefLyc+Tbckgf3ebH8uWA/GQPbJvt4tgNOEpFxUQXuHK8lc8SHTy3tdhuAmY88N2P8fyH/d7dadrUax8+9D+9RlkjlYd4UpX0IhNqDNN/ybfr5XJZm9+gD3bnVZTpl3VA8WjGFmMI9RPO6oNJqrc5niA3QNSROnEZlhZxu7kbadGw1VHQ6uWINMPLluko7cHcW7BZFMHwZb4afJAgv51iLCxr9PAwYnuD1bv1BYPXPyHwJ+9Cb5hnMxhnFVaXBx5EeTQCqfMdnLvAu6VXBIBxiB1KuVZfz+maO21n9JAUMF1G/3RmDFRln6Ejaj8cxqz3VxYdvrvEuFwhDZKrwdCdPUfwujw/8rd5Wpn180oNI3GNxAA06F2FDyM7DHO4EYR3lFf4Q7m0Kma6aBMvLpST09ONVnfo53KvXxwAeHYAm1uy6TLx+T9c+urH/f5HR9VX4Ew14p/wvWG5bsLQMJStkijqGOmV9TL3nyMfm/h3O4SWvn87zt0YvLOTrt5WlThyhl8BvLiuzj88aRZP8FcWrQ=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1720887649

%PACKAGER%
Arch Linux ARM Build System <builder+xu3@archlinuxarm.org>

%DEPENDS%
gcc-libs
zlib

