%FILENAME%
cryptominisat5-5.6.8-2-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-2

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

%CSIZE%
440500

%ISIZE%
1606656

%MD5SUM%
cd8cacf8096d82bf171f018ee6f7a720

%SHA256SUM%
baae4baa223c7953c7d66a4fd045be5fc942db34dada753c9bf84a582455aeff

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlyKmjEACgkQdxk/FSvb5qbnAw/+K3VEDIUdVN5AEEqO6/raVKLM45FnfFgNWaiVfg5SBuaAa3FqeO9FnLD0pkjt4EF3FwINnPzrEvptrFl+xQSV4J78BMqx8yZLVuuZKSv1eCzCjzI2JBA2AIIs493A50wF0pjVczE7g4uHl5qV4MuS7MZcksPn2whSpTMC75nvotDhO5zIav+qrWWCaHscIDqbHyV9YpoVZkiBc2tW7EjT0f06e9WXo9SFCpyj7B15S38tP5fWm0EYkUl2il9f6MSgtejn/whYGT1zF0IMhmRRTd8x+TTV04DKJq+2N+yjUDwCyYnAXzjh6XVJowY9VUzcQKk3kwlY7wIyI4w9D/6IAN8cjJYupV0N9fXrPgvhbKVkJaqnx3hueQRgh7nwm2jobPWl3pDMQbKLq5KmtF2xVZxQanxqunYV3tsJiSGl6ia5KG3v8sPJLHQBFJt4oupZ5vXQMYBHWPLyt7zVIgL7feP7d9TnJJD3xNi+JEI3xk5wpUbPKlvDOUy3Ooskiyry+Y7NPVYvHXN1sjZboI5MNaaTZgB89qcwrtNQbAz8ItFgoOzmlrhsXGU2Ttzw8qz7S9sjG3yYQHVL+WBM475Z6DCJZcyzu2/UzX8Z4LXJsyPd8sNymzyFuG2FgAAm+NQNiqB2r3CIqqOtlOMuQSlrSmAN012aefjmyy6bBDIjE7E=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1552587182

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

