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

%NAME%
minisat

%BASE%
minisat

%VERSION%
2.2.1.20201216-3

%DESC%
A minimalistic and high-performance SAT solver

%CSIZE%
64580

%ISIZE%
318639

%MD5SUM%
2472c320a6296626fcc4683cfab11eed

%SHA256SUM%
408320b2976968a2b123dfdb4b5401475c42ccd6593e8f53495e9dccf40c3fd6

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmnBIkMACgkQdxk/FSvb5qZDVw//SQ2f7L0JGxJhjxoc7euTHIqCT6T42RTmlpcjNiUKO7JzCwL6UcY93OS6YEcG2aqyJ/fmfbUats8WOBGTCvvMa/xF76hHvxGz7Nh+iqoacDXRfG+7Cbl5hT/XiCDVAYMacmzQ5aqfteU9SukKZGZ0dsmvxhPmiNNOBzN86GbsDb5TcKL87nj6iYrlJcvF5+tp2lFLiuPWC4Du+wbc0n2REaZyW5aC4bFV4G9EZ0Jyx1QrxWDowq/1opMGUVjNGZ3JRyYNeN/I2mkZKLURdnFDXMy0YDKFqgukAU7qAjukmb0mb0Kj9U0709QVE/hdaec4JfrmkJ1AKtja9C/TNUuezo12/xmD58Wx1zHKVZw97DnVT/4njI5TseITYHiGQatdnOslJGVh4pz/GkKApIBODVOldD3MhVCz3t/mlI1QTBB0ab9UVA482uKGZE6TkGWVXAfQkI5B+Q4f/elbrC7JCoHMF3rVcKc5xqOGTq0xo6LwxHl1lzonKYtZlDoPbYnd5CVVREuhiDRx5ZrwqpWbQEPNUf6+1RZx+zm9b5kNmpPczQL957KwUh7+RXZdGdY6w3CFJQQEdGwchv+2tG0OLr+RypU7NHuOSXcxnv9bwem4r3MD8T/cMNakqF2MkKOm2jmJLnUp4i3j5hSifZhnBDSm3IBgrm08maQfVkQbEaU=

%URL%
http://minisat.se/

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1774264888

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

