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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.5-1

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

%CSIZE%
404780

%ISIZE%
1287168

%MD5SUM%
e3c7256af40ef1ea08953e38bd3ed706

%SHA256SUM%
28525c61b5dfa6932fc010674d0375fdecaf5633c1db98d484422ac85e23150b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlu0EEQACgkQdxk/FSvb5qZjYQ//apOQIqUbF+b8YmvQwugZRtp2JmhE6OcPFaTfdTkAV98JVzKwLOwndgEOIDIpbES4LMpzW5qIG9fHBwtv9XtlHdbLT/ZyKi6cMY4rfJW5wCj664mWjPFw2CunxDqUVrWJKiMoa/7b9xCeK2kK7OQopzbYZNi7r44qqmew/F8+EaomcgSTyP4IWaNLsjxNx6sUOgx0u3UN+QBoaEDg2aoxvd8/Ikd5XvIMDrYvAfmKOskt7Y6UCNfWj1TGC4vi87csLVatz74bF/cjmsRqSZ9iZhS/M10RnGJ/+/GgEBDvgfVIudDPugWgEttJJxdsECD292flNBfi8mswyMa2eOzK+Y2lfwN5jolThvA7OwO2/93Bk8gLZXNqHI/I+nXQuQ2+BJYZ20BbJSU7Gr/XwDD/qqclFp5wLmTs/GtCjST5nnjSt8T5wAKBsXRiekYqcYswPilY+c3EgwphRB/JxeH7eyJ1LT8doztTckLIey6XVg2Stawg5A4iebJxYIQezJMS6w0gZ9JarogTLnqvnQopI9AJTkH2BzO1/6DHQ/6YdusBnqcwLHA1/nN5PwugGMIH+uNHI7eGdDK1OVwkxASLSbPEa2yqbE84md1oAVKaf2xjJZiadUZPGijlcr48G99oEMwpFeDChBtOLZWsSil11fSxTVpCNWNZVpBmg6jHu0Y=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1538527122

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

