%FILENAME%
cryptominisat5-5.8.0-1-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-1

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

%CSIZE%
478928

%ISIZE%
1556551

%MD5SUM%
4c3e189f5dd286cb5a17fa8477034bc5

%SHA256SUM%
3a89a0a8b085ef9e5b6f375afb6d80e5fe137daecdfef66a8923ef0045a69fc9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9UFb0ACgkQdxk/FSvb5qbVsQ//Vcbxdb43Wn++S5gwaZgRUlDJCy0CsFbjoHorNmfXzaLEasEdHlNOLsloKAXW13mnZM6qGcOuEJyhO7wZuGdurzEnTooJOtqh2qN94OEc70mmYlQ3MslJ2B3qPMM/WaTjOMqUp7YagJ+4uMxhelAyp5q6BYUEATKUvyMGtNxBq5NDVLEgAx7WQg0r5U6QWNOx+Sco0RZ6RAWYYK5cjPBC4niUzc29yG/qaZK2Ph4ahuht1xas1P69zzAYlvBkDCewucgKJZMkTF8l+Uf2p+TiP1OI8Y4+j0lIjt/jAJlqTHwtaS9jInQ0nOXbu0fm4o3yhuGDxxrszlJo5zMjF5VcQhqY3Y46Iyq/TSnRTRP7L463p+Hlxl78n5NRSPtHcqLW5XpWO3HQBdavKIKiXmO/p90SECPtThdqBhVF81JXBKxH24MWzc/l2SiAN0BM0hJbHdL9060xB+KN6pR2Gs3qEXBTzCfqMKmtQSxF0RhABuvuwWhdSMW617vHZgWmuGUi9pVcaNvbERKjc1STfCFSEqwGvxMMaiZaLDCamni5/rhEEMbfDNiOTBvFEifPWamxpq3qZtDWB+bfAhRoM7Sgpu1c/Vy4VdKO/oCJJnuoXr6dF7foutzIHpSuiqYpNlnW8kFg8lJxGEK3LOIW6T1F5i0E5oFYeLAeDlYZzl9vqO8=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1599346061

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

