%FILENAME%
cryptominisat-5.13.0-1-armv7h.pkg.tar.xz

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.13.0-1

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

%CSIZE%
946880

%ISIZE%
2890654

%MD5SUM%
e4191baca9a38d5af981f25a28428b9d

%SHA256SUM%
9098628afc5badd7143163151a73eda3ea49fc39dc4f4959afd6317e3851d7e9

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmmnd5QACgkQdxk/FSvb5qYjhw//Vd1hG7nj6McSSMEvy15Pum6Xu/fRcPEoF7kWWek8Hhs/pdeyAejBJ7GuQCiE/3nxsnpuFcMa9kqIwSWii7stoQ14NmJd+X/oqLWp+8XLal5yAIejHufElmj/fv1RN9xOEuV0csEh+24a3sUrEG6mx0Z+eaT6h7BJweyiCXu6CgXCj5nYLY1smvD4YR2iRmzZAPmGGcGUiFkY12q6C3d4z95eiqKp0f77+Nek1kV4y1iDBYPDeR1csWNMJ41ly4GHTKi8i1rsfRfRbT+Vc8yVeH92yB4JSQ6RNGJ/L1M5H8F5obmyKJ4QxkjNwepAcLRJUWf1xmOvDezYWvH3m3y2YYkmX1yrihuzsEL5o2ScY2fJQA4QCa4MypWvRhNmX8nptPo7aBlPjiiWRxc9eAKw9oMLQdvwDyDztyG8SgHh00ZmhAiv2FReG1lWVWnKmYM2UftSP/1r9lzwtHrQFsU1W9Wyhbo/pxYMnP8lGCJz6buhSRxRBHkQMIsn3Bfjxcks4T0OAb416d88KqIOfb87hmJx//OobRb1sTZwhCL5T9ozj0o4S4D18nMdINOvtMP2X5TaOzEkGn2eKy5pGXCwz4x9KWUn6hJOKdRgdlnBkKSF6vE4U8ibQoF2dE/pZOv1foQX37sdqGgo3lc774d/lTjyAKgxTT7Y8qQVD5H+bdQ=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1772582647

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

