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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
80269

%ISIZE%
318503

%SHA256SUM%
5c96b980b62eb7c3059f582211bfbb9751606b6c8bea39eceebccff1627631eb

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1774343753

%PACKAGER%
Ben Schneider <ben@bens.haus>

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

