%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOt4ACgkQrx0hme8KPM/hsw/9FR7i1/pf0zNd+6s1kak3l84xIjukiArgl/fInZFSBPjxyFIPiQg5I40bDP5CFKgQdQylAZNrmHniNMGa1cA+bi3xt6ua/sAMQEQ1DjVaFDlkgVDatS1t00tA1+io2ew8jFhirCtf542QDbhAIVvHhc1fUqOVSk9rUR5gd0QCJHbau58LDwz1/ideW06nnZ69S4/cfaBie+fWHkLOu2VSukxIO5yXeOQ8M0O+ZvhsQqyrVSRyEO6U6gzouNPjWoG7f2BzR1qBfDlCIeHEZAw33WPdDNE3GnA9/wjNL0K1BffxG9xgfk2tI4fgCz9RpsUjXf3ZtceOWQ1RnS1gbXuHWMsBTJEfQ9bcUFdcQvMOono6cqS8+4vN+ZS4M5lHQxQAo+SClS9Rcgem797OpisQTUhX+yWCN1w3bGF+zuubpWoSdQ7CYjo1NX4mrJjkbU2XIOc0yNCqCT45t2DqkPEbS0WG6NE+9gYp65d/ISEjBxpkGq5F9tQBr72/F2VAdAS0gOsC/oKv1aCzdGpHK6XnuJx9s9235lXVf7sgYQUHQcRPemiE3JwBaWVQQ4gVSdSsmuF1YGPxLHYb4tP9a95bJpv6mzmJBPfVX/wdTLN2xGLEr8qDgBJrcw3Og44LKArrl8lxWSoSkyBUGv0i3QkQLGmoyVrBkPxl2DrebVwizoE=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1720826070

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

