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

%NAME%
minisat-debug

%BASE%
minisat

%VERSION%
2.2.1.20201216-2

%DESC%
Detached debugging symbols for minisat

%CSIZE%
264224

%ISIZE%
849271

%SHA256SUM%
657a0d46f0e4ad2f3a6b1e9f6c8eed727b66388776e0576c751c863be34683c9

%PGPSIG%
iHUEABYKAB0WIQRUwf0nM2HqUUojd5Pylr3lA2jGzgUCZpG45gAKCRDylr3lA2jGzsa+AP4qAAIAcTcxCTjeJkYf0oIOrDTSMhwILgIf9PS5Eug2UQEAqstOzk36iycKPh4FrG+gf7PZLNgp/JhWuF2t3OT1Sg8=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1720826070

%PACKAGER%
T.J. Townsend <blakkheim@archlinux.org>

