%FILENAME%
minisat-2.2.1.20201216-3-armv7h.pkg.tar.xz

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
60304

%ISIZE%
210767

%SHA256SUM%
e06c44a8d719e72eb18d64ab1cb310b038d92e918ef600521b525157298c51db

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1774265173

%PACKAGER%
Arch Linux ARM Build System <builder+xu1@archlinuxarm.org>

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

