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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-2.1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
74826

%ISIZE%
244839

%SHA256SUM%
9e1f36a4ac9d25a9113f00fdc4db93003e2a7ccfde8713e573b47dfa09613a9d

%PGPSIG%
iQGzBAABCAAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmaRymcACgkQ87YHSI2zWkceGQwAjCR2JrSl1zoszguC4snFFoa1HY2jCXxJlmbClEm4w/LPwbvDLTpSYF2x0CbMdmNTvwzcnb77H7qqgp54yi2FeRh9AQqdSooHv2TnkIo0zJJT0kM6W2wFdEJMO+8XE0P1vUMep7hpAR4tCESavQMeT2jSnvsX7GkCXcKG4ijkr+sqnMXEhkHViOlfIT+jvXVFxx+zTv0Xc5hyl5GFn+2QlecKAskfuOEUsTw9LXsEH2OHl8vHPmpGe+LqUWksFPSSkTfrVBDyADNiugeXxnvi8erq8oSeu5pP70lSwWDoiAm2rR+CawnXQXHvHXr7yRRXWFxLGzvBJ1lG08kF09mvJOq/LaJsE5DndkTkTMgGUEG5has5G3SMpDoFZyM2vnbcMrZerZK8kHgAcjzqoZ+CikRgrTVZvUyqAceexU3McfoX3MSmnFFel6TRWWIt5rH4uGgkRfVpXsRNsIJajZs/vNhAP3AbvDUhL5YhziEq1qyXUM8T5IfrV+bbpvP8Vl/S

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1720830563

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
gcc-libs
zlib

