%FILENAME%
minisat-2.2.1.20201216-2.0-i486.pkg.tar.zst

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-2.0

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
69365

%ISIZE%
231231

%SHA256SUM%
55cf946f33fe18e0d6d828bc43bdaa13f3a20e8869a371b0646312e6155f86fa

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
i486

%BUILDDATE%
1723371853

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

%DEPENDS%
gcc-libs
zlib

