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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.12-2

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

%CSIZE%
891068

%ISIZE%
3075047

%MD5SUM%
4761a29d8ca3c3d27249794490d4996b

%SHA256SUM%
1e711fae2f2c1af5101df2c471f8f18174a1cfd28cb7ee9d8bf5a3dff2eb8ca0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmTzXF8ACgkQdxk/FSvb5qap3g//d6IsromYZc2yoj6ggJzYXhq/NQd/qCAekBEf1n2zD12u0BXcSrJlb0LjK/pDVJjjT0TuP/GGj7KbbgzbNur1A3MaJyMAfx+kVhoy8fgc7gnqLGuf6+NVdv5iWu5dvbpbwnwI1L1u8+z7SirOIEdA9vyhN/gdOfIKccr1QemlBZ3cEXK+LYGr8U8JQXf8ne2qjvJ7EqZZoPR0ShMRJ1s1Xz5e2JkTyibUykOChhBPRuT80GyQ6+dAXArcLymx0tYEvcqkSYk2s7Cw4SDYAmbjnxrwSP+c5IVj0G2eBkRz8RCOo+md213kmZbr1D6k4Vd5WwJA1b/+8fDn8yGjt67wBscKNEPl5p+Uf6tJ3sLgjH12DcYt89/AWfziVb3Onk4PuPlwA+3MCRAseuvaausOgbnHCX0dj6TvNQxCMewjjkunGcU0HY47Lcye6meKEK9JyzjA7NCe8G4MeiXd78QDuaycR1pwuxOuMuFnPL5xTKJmbP+Qhr5EGSJV+Tpm3X0/2c07F4bz7YUfbk5jcj7HcNlfFRV5BqgxeIlaWFb4MhwfuKtri0KXhu7WnT6+NF6vb5TOkp5oIvE4EG5/5ZEI9amdW/vGC6V5vWUNYsyCtcy7a1b9GOScZEdOpocJ+tMj4AyPwbjrw5lwEyV4pp44PhobLkKCjtPNT9ohZKUtqK8=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1693670317

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

