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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3.1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
80137

%ISIZE%
257103

%SHA256SUM%
8efe4fc63120b80f8dde0c527900495d3c797fd9a6f644aeb1ac0d735d8e9b8f

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmnBEpwACgkQ87YHSI2zWkeyeAwA8/M0zzYlilstZamT33mc9RB6E3vaocAVqe6gDvYMd+6zTLw8JpTH4eIfD/Y+0OvXRUs/XGgL3pLtdnenSeBFmlhLwLuQfQ0HWlPCNoXKMK1g8Fce/1EyddjZE03JpAWcsLHV9tttQF0SaCI2+1e8LPY5BppIWtBDP6HMmMfgnt2+S9m4GiyDNWm+lheUc1ko9acohQoPBYMP49F9AECqT97/eEIUDSIWBvmKTal/ZvDwRiOsM9zi9m0NgmKmOKu7VKhO1cDYLENWAIrrqGA6+aeIqOtwwsID29MBVTG0eo9id4LayK2m9iMV50gI4RJoAt0Ggb3rpQRo+gceX9zGUoXWsc6DlULsJiUAUwPbOLDI41CEzoAjWioaJdFB4O6p+TQv08VrUN34UEoqi/80fDO9jPDX+1izWj1Bu72PWGOq2z9ocJiB0gCBuZIadzfbwZIY8YubAy10HN8dkBQicQQsAP6Q5DSq5cMnQPZG/Vof0R2Jt8m3I/ITTx6sYew/

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1774260888

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

