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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
69737

%ISIZE%
212055

%SHA256SUM%
737d6078fc63d5dcda2bdba8cd6e23280fc68d6d67568804cb6191d43b1ac4a5

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
riscv64

%BUILDDATE%
1774452931

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

