%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%
265596

%ISIZE%
869711

%SHA256SUM%
325471e75fbd331f4e0c6ac7cea722dfdc0e52beec629d9c655451ceeb37bda6

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkApIACgkQrx0hme8KPM8bKA//Zo3aufssISyHd+Sw33wmJkk5nQ8z/in3pP8mEPorZFTuaYTrWl5FGVMbl1+eNx+xi2rea46w36NLumnk3JslCVftRKXLTlAmdZVEGZZtfMEQbY04mZGd5ReYcc/FI7pr+ZId7slFBcQk6nprhsjkEyEYCWBLn/bAvq0lPQhnF86oK9eWSrVHci+Mu2S3Dmyz72pctcm7iswJON85KahwWnvJBIeO070DBe6bhQE1QZaUohsvArRiS2hr7+0RgfXdjF8JEqAIPOknuYnKYbPvUE/01/5auJVPUlq6LXuCgOBlb6GY4CHAiAvrN2rgI+j8MKcSkKXN50pQAh5NHelXu6WhnElH6KoTjJsgjqNmFmMigG4lTPFCyjW2tSzNfqp+CocMFPZLE/MdxSXlV9cOTlF5fdJh5LWPbWxC9Od8JXqAATgXHeLxFMpLH4vKJvQWNuq8CjCFM7M6mE0LjNFVoZzwHYKFqVEFREPZpXgBuPEIpbsAGz/B8hhid1/uVyGMZkO74Ew1U4cSa34jGuZjSJe+WWqgaTll7OyTZrk7Vg9XWHtpr3OexQGzxzkbzRG74K/CGUZzvl6sCVdimUxTZeaH1U7SawtnwXc5VFecVO1vSMrSq+yYHh3mV9dVNFhNzz3pQZHPxAmq//7YW7xWlVKrhS8rArnsTkL1tqj4+wY=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1774260458

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
git

