%FILENAME%
minisat-2.2.1.20201216-3.1-x86_64_v3.pkg.tar.zst

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3.1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
78583

%ISIZE%
253007

%SHA256SUM%
87ab3754bb9098341bb9996757167e7299eae29241c19ccab6504b3b8ed9eabc

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmnBErYACgkQ87YHSI2zWke0Bwv/QDh9hGR5VYvZ7InRBUYqQ3oI0RJDnOoryEWAImGrlEaP0oCClfBcYFDJ2apRO8UQlYLo0QenMZh5n5UfqAOxbJ6zwUhLlIqTClOUoGUHWmj9ohHZc5zembTegyOKbDC9pPn231YJRfjfpDqKTaxzjnLLIVOUvO9TpXwUH7gfkgL1BD9c893Fng0VqR7nl2kgywHHJoo8Bi00/NRILjx0cZBDHuh20FKCOh8aHx3ClD7AlldSg3b5KdOe4eh3ck3Acowh8/6v+j4j1y8e0rptCfKqb/0zbyQEczsuOx5fs++NRM2iUOCpNfuSXJI+OpGXJdKvKFE2Gd0UbcOJo4Af+kNPmPrbpu9+XZ/xtL++djTLD8YAuOJ5MkbmMbbSkliinmQ+j7hTHxVJJwiAHipmb7Xe1sZ7M6fA4THsI0YeXgOHanncBF4pLZPX7EGzqGINs+hIgaOHswpnHdF1YMXhrS/g2/ZjtNafYZRSy98O0evATBe2H3Vp0sfqkD4v2KuN

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64_v3

%BUILDDATE%
1774260914

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

