%FILENAME%
minisat-2.2.1.20201216-1-arm.pkg.tar.xz

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-1

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
60452

%ISIZE%
215683

%MD5SUM%
921a7d7c2554395e928a901a24b7863f

%SHA256SUM%
9f36f3976b77b445ba63aaa7d52bf26126dfea51b26caead34db0507a4f29b29

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmC+t4sACgkQdxk/FSvb5qbbaBAAugY0B5GDDH0MtrO6IPHpCDlI9w8BQ5aZ7DAoc6Srd0x3yPkhK1YToELSsLxChQrFV9Y4meNd9SHGHpbys7RoF7qWVHCPVI+rtnAr4I9k3bRjQwmJR1TGO6wTgFx4zn8jOrqb0W73kDiPwSL7zWJuZ+/rvvDuQBIJTp3H9zEboetWgzUpCDTtip74sFaNhdex+Uf72wnTAcWOn3QSwvmPeOKYK0JbKjBl9Yg6cKtg+NDPMnQsUNvXYJubPD6pdJFROWoQHZkuO4Ua8n4ORNqTTJQBW3n3bdwaF30R/Fmv5CnrOEy5R3upRVdCTE33BS/NGHNbBNqHHOpK5lPSoGE6sNR//umDc/RiHTGFlfdhvqwQVqrj8HS9ZOftYQNfxnMonGUxSKsLTHqwBH8WHEWcNtOgllvsAJ9mx8XcWOUAnehw6SfCiKms0FRxWgkjOjwm0OmMeKszx4SAwAFTg4S4zpzh4XpYi5qzQLT0bQ6W5+Fkgkpmc7KLVJVlRoLE9TmMwkZEKlU/YIZR2nyLYsNOwOTA9L4U4u6qoHRozkfRk23hnvXlbZiT28SLiQEkgUqKr+mKWWtS6TP72wXeFMusXTpHH5KiqzdRmnW4WVH+j/Zc4ilzNufQ2rTLR65CSFxffBbOpfR2EQcDUBvpZXPaz9vMlP3mpdbhm+g15gOmrNk=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1623111551

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

