%FILENAME%
minisat-2.2.1.20201216-3-armv7h.pkg.tar.xz

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
60304

%ISIZE%
210767

%MD5SUM%
c01266de388a9f10e6de20af8cacd43e

%SHA256SUM%
e06c44a8d719e72eb18d64ab1cb310b038d92e918ef600521b525157298c51db

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmnBI2gACgkQdxk/FSvb5qabcQ//Sk2FjP/t1k0wCBkQjV7nc2aK4yJu91vjrKEY3g6mSvIUxlTAIqWn3rcXpFvRpdrytjkUX00klQ8voVsrFmS0oWKYYmE/eEz+e6JvF698HpdA9OpFEEjCZrmCftxy/4Ky98cNg4vJ9PYWAK1YE2P5/nCC/J55DktOWUtDFZXtZeF9oTT8e5IGEI275IY9ibtXwW4vgX8IWOXKSrz1bRobr4O+Z6bGeT93zxHpR/l5x9gE7Hg+hmso+krHemWFmitvX+6q/N0p0SNNlFmKbxWA51ALoeTYdwV2Fr5I7K9crVSwSA06pBxhrG56+SnYdtPNv5HvxbwgK5UScpQRwOe8WkCvPWT7thJxg72kEHCMpC6zqg9mAxvKTfPfVQf+E7/QifXKXkuOq2QuXQGV0CzajgAjCMdPU7UcQAK8RaFrcyu0cTjl5B6X3Cn5ptrrFCEbSxVRHtWWLhN73ClfOUCJdZrBLnxLMSmPPdvmAYprGbzM5B5EeFsQQpeMIwuytAZw4JvvcdRcPAQy9Novzx8sBUuK/nYw5HY+DdBD7XXh188951977tl81uLTWhJs4WspXhqrfB8r8Iu9rDVFaQQYjGegY5w7TLDtyUD/dma3+mwkthAbMl0ABhQHd1VknXn47ennSbyMjmIrBxGF9FtRGPiQiAhvhlK4DUv6oeM7Jso=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1774265173

%PACKAGER%
Arch Linux ARM Build System <builder+xu1@archlinuxarm.org>

