%FILENAME%
cryptominisat5-5.11.4-1-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-1

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

%CSIZE%
884720

%ISIZE%
2739351

%MD5SUM%
2a6f480e850f941d09cffb9297afd7f8

%SHA256SUM%
e4b7d8f24e5f9c4db012e36b6eed8327a66b5b5e7b3d21795ea8b9c5fc121848

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmM82DsACgkQdxk/FSvb5qYwsRAAyF1yTv+ezf5TmGCrs8Vx4dDGhmyzljgJDn7MrFLqJL9NPwtvNQlD+NiJxDZCYqEDLpt+RoFuERfjyZLodAto0OO1xQREqhMYlljfKZ3RLBZYl2ztew4zA7hYaHdxdAUOeZDRq930y5+StHRsvqD3pYkBK/o7NZwnVk9f2Dmko9qxOGbq2qDgOducDE+cUrYVXj2IIjLMLNIMO1I+hsa/jtVviQjAy2+DDWkooQMpkjAEDtUebHMpH6igbgZMo8CcMZz8Y5cJIjtshgC0X7K9xKE3ich83FRfIcZpG+eK9O6Xji6djk9vsibohCVxor+RnYZgqKhDMhTu1Qmni0Koqd6FyMl/W5aeHSTht5fVG+M9XN0Mwwx60TstyfoOoPNjRlenrqvhQdnv498jrUtEMs8jYRr4pGmqsiyAumAe6fakwSGK0KyeSgPsal+kX7Dihun0caVNKXRy0sDGm9C4gXGwOxgMOjW/Yb7AMPTVHOUpWbO/6mJEfARs3zY08wK0/K7xolc2EFqQZYhqgyW1rbHWeUDncQwp7/lCBQNTeHMkY6pQhW6mzcvX6WvxuiIj0iBBSGLbgDsBns9JERvF2LXfswXxAgz0Rq8abtxOhfbf4I+FE16xPMWsqR28mRXSaCfJqPEb/fgUJeX5i2unVqYVAMYPeUNEW0gC9PKzLQQ=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1664931675

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

