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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-1

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

%CSIZE%
461620

%ISIZE%
1365211

%MD5SUM%
fbf17208f650554e9c791d679e9e21c9

%SHA256SUM%
8a74fb50602b1876aff444f3a222f05b06eb3b86d8af4be07e03a65fb01d7d02

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9UGZIACgkQdxk/FSvb5qZLWQ//aI2a29bYvazaR2nUkSFGrx9i+qYxlAkSKpgamHIc4etIKKBHVXPavZ2LH9QqG8uF0k427RdOGV+KXOQtG4x2BklZkVIBD8P2onwldWcecPW4kGeuLXJSOHG0G5jJlAb1lvLTiA7zwuyNXLDTVfOErgW9DbSaumsk/HoLQxEDHlcIvBXzWqm18At9GkcSB+NqGoi0R8XNkqk0ClaLJZYsj9Fo1PxliFJG6uy9J7Y5/7iFX4/0uatxQArJOY1Xie0Q/PWTF4t0alFBWnyROYh4Ra1ZFctOk+LN+9yxos7H8Uy0Prg78rYtun0bavvCwnPOvRzboMec5UpSwXw//wkWTgS80a2wQf8oSYWjJCnGTY03bwXDpivmFUfqVdfm9k6nD3lMGFZbJ7EwoSWc4slel2H4/ONnx17Dysyar4fm5hviRBXJEcHVIzij6zhdCEquNGzYxRkwKMYOznx42gLyzzfPQgJqrKMgHEr6VQa9GjYPrJS3OYQRakmdnCk/H/l2VoSh9/LxTv0OukNAnQ1jgxzKJt7NgB+FbcEJbM/y77P+nfNUI80Tx9eVJfN47jzeYxaR6ZQL8AkwhI1c/cUBX9/YWASEOA2ROSi+n/0Gua/cKca2n2LQIPgxq3vYRGHuoCGT+PNKOlKpWQeXGXr1NeRsv6OqLBQccKJE41zut9g=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1599347011

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

