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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.5-1

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

%CSIZE%
410468

%ISIZE%
1330176

%MD5SUM%
b42ada47b3a6fb550bfc65c7df799205

%SHA256SUM%
650d089afe2731eefc7c4827758311a934cadb9e0c8c9a5aca602632a96ca18e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlu0EmAACgkQdxk/FSvb5qav/w/+LKhllnyMWVFubHmxqex5SbfsGYA/hMviYne0rhoMKTEiatjfZc77EXguO4+bK0iuWIj6+sWEf98nH9/btm04iE8FHkKqIyz2csmX/awm4wSbI8u02LOtkmgF6cnzZ08PfA7GFd72yccNjEHuoYDMXTZxXvQ+l4IkIYgFqX+u2NxKIPgDyErDsvsN9gvfg67qisg6pbdTbd0/SUADAfdT3UjIRbCsGwiaFK8gsxXcB+4W92uEBGkg0sK6XvaqxihwoulJ6tDorm8Sy6kYAo003bTbzQMmi1+skRB9oZzMSlXEqd/52aJDQXAmZQCaVs5feBAjnJ+OINz+AvwnYhcBKJDbS+9w5KHCdeLB6w+8sAcbZUBcY/gavSjGHQmvLXRKem2uudyQeRySZdwDIIQTnKjUkCHBDYRINGoE9b6vonLTnDcU1XxL0Z2LM75Thh+l73IDuN5cjZZayAeg1ufqrCaN+pFeml8E2j4davuCNeAtyNZXSW/bZKQY3UvDKiusfoaGHih4+h4Pu8eB5Dt3uxy5DVCWrssUsD6ykq6omPJaJQgEL2OmMbE1haK1dIrJAES9afjE7twp2QfH5Xz2n1ufMkvui3GjCglEOd1Ft9F+csdFK0q44sqCkwA2+oE/gtrz75xy4nvdiSltoeu3WcIdxHyNJNtAc5s0g3dxMLQ=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1538527664

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

