%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkgwACgkQrx0hme8KPM9lHRAAtZ9bepRByd5DsiYBrlNy8DkoA1zHqSSvBpXB+tLYJ6qp78oLI36UDB+QwCMeG1gHAm4oy3AftaEljbbJHC3aQCPJOMUXyknmGGHiTgfRFQnQXNwyM+NVsg6bFJVoaf8PQ6BNAqrfzzLjVLcYOUezQTNT2k2NhsRaimovZhrxPKAdudGxS0GPyeeced2lA6T2Smc80J2Qk0tZBK4rqNfzjg4s9jL3gw7gTon0Bv7ZtVjWqILQk6XNaElAJGRArS3uCvyAPsVeQeH+qXCs4P42Hkvg4nc3WbO/H4m1PeAICeGbesnB7mF3NN2kGAjwoQOFZAv/HQON7qA/OU5C22FkIjq0jmCrbpyx1KKrq/Vo/FFn9Mmwh2F9p/5sKbH3R4XcG8LRAPwi/v26yI84aXjZhNfwxJ8a0OJoNQkcJfPWL0i53iSR8ySkdbEDsaUX3+wckSg/uZIndwFcKICmrdgEighExjoXra2dRXVDY9rhM80tnYvRof9OChfgMb50riyCM403DrchTWbUFu300FDWcuHX4uP6GvN5Y8E+dsN5A8wA3PFaZW2Xr+qgwaw3wNDc0PSBFDrIxG20PWXOrrysZ1pQ/TiExht3vTJIw/9D/GDEu8RCJlxPJb290YamVYAq/DWaAKZj9rJv51pZvfvvSwnx+uO9dUzBTT7O8Kzqtdc=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1720826070

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

