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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-6

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

%CSIZE%
467652

%ISIZE%
1373433

%MD5SUM%
2d3cfff9c9ab976950b1c3656d85f8e7

%SHA256SUM%
950a70c80901550fa0661d49da6aae01eb678661b2c8a081f90def76586ebebb

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDC5UMACgkQdxk/FSvb5qY68w/7BMyhKTwramqOGM2xWWeGOyicC3SVUk243FDZN/u8taSQvBi+CKzUyO2cnmlmyt+syrWY44vyKsevrMb7emZnXQdst9C7O4o9a5fXP5hKwqAoK2ri+6cAcCKSTDdNk5d6Qfntj/0sG0RCeD7wGnpPhhVmZZrB4vjXVl76RvvN3Q8pqxYDHQXdP8FqlVxuHDOV78Ey8T39Gq6TfBn1JqmvzDDAHDmDaD95X+wqlpt8xb9uVdkc8aFV20iOxh4Qm0Jv1fIND85kjLRSLb50kDMLhXh96rwuCkQoA8GSfXY+NojT1PP7QGAkQd5GgweecAOXFgn4BBaVF0pTQC4jLOunD8hqFD9yfZaA3RVBfBXuLAf2zYpdAYvMDBwHEEezy0lpJOJIfW2SRH+pD9ux3yvAxZDeOiT3HV1aLIfy301hbAg6XGnOh/xVfTOakznC2H28TIHOZwXcEITsi3IrnrRqrLjTh2a1Gqrb2XzGR3X+h4fVWTazzRRI5iEplgr5w0/ZNQ6IShqe7sTGVvKpKM3geAbjhz/pE4bTXsO0R/L/RVR7PaWzYZy7D213p2vXtoQkUDpPLsmuvBgzf+GfDFfAWuj0YELCXmwT0Pswpr7NaP4XGAEVUNKbDW8vi2dCgLKHsuA3T63T1tOzRmenexipOhzi8t6jhKWwEpLkhyDCGos=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1623385331

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

