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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
71853

%ISIZE%
318215

%SHA256SUM%
06ab5727fa72957b1969048ef191f8d02a92d268ebb88915139453e4195124f3

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCacHGrgAKCRBcdK4XC9oUM4mXAP9V8SCgKhX8DQPK/aMhb+UWOXfW/vLDcoVjuIBwUPPFcwD+NcIuVQWpdaGmipOc3do69DiwTnoKquzoG6B6IAYsBwI=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
loong64

%BUILDDATE%
1774306961

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%DEPENDS%
glibc
libgcc
libstdc++
zlib

%MAKEDEPENDS%
git

