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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3.1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
76052

%ISIZE%
244815

%SHA256SUM%
0e1f5e62818bb32cff7a96a3b90d264f4071f1a95285a8c5a462ef5325d916c8

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774264047

%PACKAGER%
ALHP x86-64-v2 <alhp@harting.dev>

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

