%FILENAME%
minisat-2.2.1.20201216-3.0-pentium4.pkg.tar.zst

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3.0

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
68637

%ISIZE%
223095

%SHA256SUM%
6209ffeb960a9f0397aa1987ac77478cc37108560f4ea1d6bc4679b5dff10a7a

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
pentium4

%BUILDDATE%
1774606289

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

