%FILENAME%
cryptominisat5-5.6.8-6-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-6

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

%CSIZE%
437256

%ISIZE%
1333355

%MD5SUM%
c60671d33d491ad0f947bc387e76d0e1

%SHA256SUM%
96c336508e65b759dc94650383847f0f31b8774c0706e6475fe529c6f77f38e5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl4y9XkACgkQdxk/FSvb5qZV/g//XnW7/P8i1Olo63BCcQeBqWcEId5MZGO3UYcfzXO9A7qd1v2kemhjX48H+M3eTJQE+6jKfB6NVasAteeQgCpRCXDRWd0NB02Jseu+9KcE7IuBEev4pns6KCnp/tqfN0UJ7geQ1lINpqjvho8ycg/Gm4LAoi7bxxq4VEu4k9tInRvCX60XNOo/zZ6U2O1DWXVbVRvpON/l+6aMi0VZ0opJ95dQP5zmIUhDVyjg/LepGHBM6cFATrvacS7lTUeScYf3Mf7pN0L7dUw1qvHhRIp9I4iMzg77jwbAaEtsBBlZcNKTWrNJr31Z7/iuWaX3ng6eRdaFmsswxqbx6CJa9aeTd41AMN+2v7itP2DDN0Dyfqzsm0x5X6Q0odPhcYHUNfB1eyr5uh2soP5GutuePY0dbYJ5iPsmI7ANeTV9TSybC7LvZEtQ2wDfRS2TRwtsk8z6YVlf/Wr0+Q+JkxnPFDj/iZniRCmbtnnTH3LTcnla0eiFg6GsvZXcIb4zEPz87Qgo6y0+Qc/gn64y93Tb8tuTPBDQsBK5GOlTJ/PQpcNFR6X0UVApBFPhlcT4rO979ZR6fymoPmqPMya23rMdbpDz5ZrLRnYPgYEgk6DL0j/IXRnn0N5rzX17hMB8SVAXVs8/p3yO8uIHLHIGxU2gdSk5tu6p1hwm9tPf3tm2N79IOaA=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1580397771

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

