%FILENAME%
cryptominisat5-5.6.8-3-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-3

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

%CSIZE%
427136

%ISIZE%
1381376

%MD5SUM%
2745e543f9b184a76f6dc1a405a36b12

%SHA256SUM%
8dc3210242bf02355287a2b44217077ba601849a08c4a0b9df455321305d73ba

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl2aNs4ACgkQdxk/FSvb5qZ9iRAAs5y5bxI8sglI49x9W3dGwDzrvl6Qb0KqL+cInkWfSU9hjy6xJ0ijDJhXFIt38GduEOg2xlIuEgNr4QQu+VTMQq1n1uvtZ0OOI3OnQO2zd2Gx3oeC299eVuJ/s+qTuuLl0jRw54T/zRZSsGT+Ie9aFDhsNgy7JsBHWam4+4xPUwydBnaq55MtlfKSdKOfRxUEV7eCCKba9MJACAKuyXeGVINlsO4hfnFmZxvpyMbeFlrXRjz/befP815cAHv5se2ICw5DVQOCir4zk8I7HhHtGVvpC0YDddqUJ8+JZJ2FXVPgo7H7AWB0g/4HMG+I+rqXOvFO8ApjtT2+9Nnp6gAT9NckT6UDaIYzIQDw1KCeo3wO0zdVVcohqNlAoT6oaUsc4o15G1MBnFOGRqb/mVHjxqtyEdvNBqHTXnZxTdm9y5McKElwN8cHB8zk13aUEPGfl8f5BIoFDjmb9m6l743zXUVzcEHD5M7i0fx+lkvq6WGzaFGNZz/WlsFencFmXvPfJ5eGygT/6doLnp1LhOr2QwpuJCBi9GzUEEsxLunLT3fGZDVXOYnXSEYibhwZQyw3nLH1L7fO/L3otuHt0vlZAvQOxtWy1O2ECWvKhFEmOf6gUXl1tgggT0MMt1es0xgC/ORiDFD1GqKE1ybKrs7EWBXWiAgn78QmVq16UqErU2U=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1570387482

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

