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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
68677

%ISIZE%
232527

%SHA256SUM%
40552b53113110735bd32bcbb43feb7354bb6e3b9c91b7b48850a0460172bcb0

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774238027

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

