%FILENAME%
minisat-debug-2.2.1.20201216-3-x86_64.pkg.tar.zst

%NAME%
minisat-debug

%BASE%
minisat

%VERSION%
2.2.1.20201216-3

%DESC%
Detached debugging symbols for minisat

%CSIZE%
266604

%ISIZE%
869711

%SHA256SUM%
6fc38ffc576b2fc852cbc593491a3dc8e2ca5a930beece9f236b73b44fa26d3e

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774240417

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%MAKEDEPENDS%
git

