%FILENAME%
cryptominisat-5.11.21-1-armv7h.pkg.tar.xz

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.11.21-1

%DESC%
A modern, multi-threaded, feature-rich, simplifying SAT solver

%CSIZE%
893840

%ISIZE%
2744662

%MD5SUM%
08b59f0d5fdf8d60ddf6b00fe3c47c55

%SHA256SUM%
060aea260a7544e429f9ee55b0ca0ed25f29bfd9a186df13cab64bb88a82338c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmXFXrsACgkQdxk/FSvb5qZf0xAAtqEDMtmrkOtxT/7WQjeNYOfWJYyvfrUexBMsVsPPPF1aWKNRJy/X5OAbPwgq/jPuq0qfGKePZJPb+ztg7SklvyxQ7QIrt2fZQpvVk9WEp2UVsAXM+tsnyjMOV4EpNnfFJAGNg6W7KgHgH5cxpUporuBsz1uQve85gTH07U/GmwGa5NIXj0SZeO/IXmUOwzDWuimtSNIu9eiDEbFTrGmB3h/2i37aysPH7Z1IwDzoSnyxpdhiFTigM2VU23vJPWq2RKqlkBft/rdpMHiEO7Ej+zume+3nDJakgNZPcrerYFXtYa69kUhMTgAKlkxhiIyIEkmsqgqEjGZnH3RCpiYgzwxXfv93DOudbNK8esG2g4JLgtEP8/DKDEGNQvzqUC5qunckEQXXt62kPlSUtaG1USstZToOH+8kidTkpDTYGBlMNz5Vx9zdhXKjjKJz2rmOsV3pIRg71t5Cep5nsWcr4+4Z1CwSjySfz0fcVJyHAIxH0QCVzY9UGioBvztclicl4STPATnKwUTLsk2bSvGqS4Foac60aa+QV2s3AUXU65XrwYO2zcyhNNsyO0PsscQQ+k3RM2IuotYMHpiSEnUBuLzj9K47MW/GC2uT7LJxWPhG4IhCRLDRBV4Oecq3TKIn86oafO7i4f8w2zcGMz9lHRohqVPOq68u/K7Mq4k0HqI=

%URL%
https://github.com/msoos/cryptominisat/

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1707433438

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

