%FILENAME%
cryptominisat-5.18.0-1-aarch64.pkg.tar.xz

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.18.0-1

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

%CSIZE%
1305408

%ISIZE%
4228034

%MD5SUM%
f521f714c299521eb119e32e5e92beb7

%SHA256SUM%
27b4e7e30c094edd2a656f01349347ef66aa4c08f57bc9d5294375b4da213d28

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmrwxVYACgkQdxk/FSvb5qbjdw//VmVwfg7RAmRMYPllOHKAiPxYGShO/TEy5Z7KPjqSVoesBTXBshjqst70q+Qq9lrXXcm+0aUN1kTZhCi/bqdmxi/XeromVYC+h5oeOF6m2s0ZuUzKkEKDxlhVcO0yP7yNJUrOx7igRIpiyDHP/wznt5M+UipcIf2wMfxcufTXqgI9G33k7bcryjDwFBjV6CBSMmhn6KME1vCN2JWnkkqafoiSFJ4GGtLo+HAQdgESbj4e+WHiWUczc7FYfBOkaGk3SgwOfsm8fmhGKvJlTEC9JQSFNhXB02Gu6HISDrsGkwt7amsC4t2VJQcR6zo/MtM7o9IcJM9Wi+BPbXFVX+ktGsPzSYL7WFqu52fOdGhCQUZZ9I31XCHWSlv2i96zv6QjHM5ey4DdAzuCUZ4q2TS5R9y/y7FmFdYhZ/cScCypOhSZ1M0BQPZ3BaLfIcYzH1Qfvc6RNzMKiwAMBGulchFThx4JR2Z/px8wHZE4UB9TA/adUtCNJPiL3JRFROoUi1LuEExEyhjkMB1OzjSSxiIRYHb7DZX6bnPGGQSATC9yMFsWEodP0fyDNteAx8jvyeuhMdZr7Kj+t+fsrDzF5+u27NEQc2DjvVNoKpIzJ9hbR11IDwuyR1gmGDCJ+9XaaFihTnHAlTrEXdyfeyIQ2KNFycgPJMPDWZRxU8DF/OAIjGQ=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1794163880

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

