%FILENAME%
cryptominisat5-5.8.0-6-arm.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-6

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

%CSIZE%
470348

%ISIZE%
1413505

%MD5SUM%
c2ec08b9ff1b8ad8247c32a77cf81841

%SHA256SUM%
2ae93b8911a78711c341a0d797dadf13c8018e920160dd70c7e594c2d3ef7da7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDDQasACgkQdxk/FSvb5qZRDQ/+O1CXS/aDk5eG1ZOh5n2QyYAOEYFC92nPxigBVlgJy4AL+YPz6bqxdZVGbtH25qJGCph6fuBBUF7VvYW12rqvsy2h6smfp6FQfWmIMpuqgpFq+yGDydWCweH5JTjwML1BnH9E+iink5FH+Oa0M1Rr31f+ovnG6ybWepyC5aCZdCess+XuZl2NDPe1oLNmK5PdniAmiLsSfSe3r1f3PW9oT2JsIpjB9L2o+YAPtn1TN0s/TmQjtZK4+pPuHE4kA30osWvmvbCknx0fmHdv+5mGMgOv498e7liotl9APMoUq5G68zL+zkhCEdT4hYvksXnmOrcp5E5t16exrg6a40Z9Ts5Svqa4rImn8rO5/y1hjCNznhpSwlCr0kq5M6gwRQ0a1ZgA9K8JZw4GWCeO7QY2o8OpsLzBkNDC254f6O8fbf4pWmwJtWgMBeYtdsdUzJILuxNy/TX5P66BhCJceTrNT7LaqgA/x73xuknZJTWfGDQCaxHW11LHyTbFf4F6SGQVg9mawyAkYpvhRu3fEC74u8TEwHj1ZtZsO1lG8VyH6cSIwZpsZ21iA0gF4ODKGCqtZilKBP8X9ARyRU9DubWGdkL3MBoH5CrHCfe+/wdsfHDCd3eLIsTkDr34tjKFt/SPu4lpkIlv2feqez1OKXhJAT2ll3BnVlWxXfNrW229pdU=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1623408988

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

