%FILENAME%
cryptominisat5-5.6.5-1-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.5-1

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

%CSIZE%
415864

%ISIZE%
1495040

%MD5SUM%
0598e50d36d770c2ec4058c88d891f14

%SHA256SUM%
3c84f46a8c502a35b252e0f4f8b2d96c320cf4a78a8513cdad1d09fb301b1454

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlu0D6wACgkQdxk/FSvb5qbDlw/+KsIBKJNcZweuKU5G2xEwzQpU6keJZfzUhspL+DbdYbsc+FPjFr38Dv9F3WlSzzuiHDnkDh2fREyryTRAhtpXbEwvwH09vqhcRn33I3/wid2Cb6XiN8uinbFiYvXSR2qV/Gt9ALI22wsFDnkG4PuEUra9xIL+sM0P86ajYP2TbMBM3XZEibUx2vbc/aWEu0AReqPGdie4knwF8/8DjH455jgwvEJZY0aTPK32urP/w/RzrGVcO+Krii0YmYvr3Bi0l8Lmv6rMBzb4s2ljenxe9xXOAjZLi/jkYmi2+/2OOMm9OtBdQjM5umu9wPJV0xbQFzb6rwfxD5XTPjHlQhyC4P2AsTc3vrOCL9N5QHy95ZS7gGKCDQlkcOfMfzx+0st9IQ+IWYqjkaWy9iLkqGqg67/pL2JJ0i5sb5ZepetNkB9ui8Ov2aYhgqNEG9a8q03E1WKuzHC+s546tZzl8yx5D18rSuWT8c3mmWHwOpQRj+Pu+CQws5QJYFRyDhXkwb3VJava56VyaPP5cnipXv7pvKiL1KtxaWs02ZMA85PPuKJzl0qTheewNKHlsy1g99ds/AIPPMS1sSlTpbwD0pzr6HhHxXzx3gahotVVV+QqjfbeVi52jm2rUuDjIcRx4boUj9mzpCgZIctTWa6t0OY6YrtZS51cLKbvUJyoUdJUHKE=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1538527048

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

