%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%
80144

%ISIZE%
257103

%SHA256SUM%
a8d92ba910c940f41e048216ae5b41c790fb748b14dcac82af94c7021f308414

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmnBErYACgkQ87YHSI2zWkct0Av9FwDoHb3uA9pfRxdpZNecVaSEaecbt8wzyt153EEzsksfP9+qLS8GGLqhdFSiqvKej3f1L1RGsK93sYm0Tq3xl7BPtT17Za6Co9SS9cHSJZvNeU2dpMVwLF8kFiRMPVg7iZU+y9z0u2Gyl6Uc5qw6ilA1voDEoxkJG2RHl3SbZDdacuFXhuBd8R6xyDfzTvz4aiqS+AEjTORBjMdjcjtVZlA+H96e52vhsNWVJWpDtTc/T5KfHdncDjThgk3UMqwMSfLnXMydbmWI/ttTAAchLgoZpSdVl7g6m71flIZ6VKywgBMscl96eBjZVB/270RBTn17wYPgAwf7VQMmlyTUVoiMsnBqpt3hCFfDztcyxUXjjqtyahqO2fATBZJvj6DdxEu53zgRPczITkFG00bYlYZk9I6vyLWp3FLpLqlp4Xeon6WxhTecStFoDpBLzN+NBnzoCYGIJcfDCLfTLc4Vo8JP9WnC+MAgqz7sdgF/2YyJxzh1w0RHzbhOKulaARNO

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1774260914

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

