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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-3

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

%CSIZE%
427076

%ISIZE%
1385472

%MD5SUM%
60a90c938e998c1e1087c85a018e5079

%SHA256SUM%
e6cf4d5361a4e6c93987d0009dc3602a55546f28320172945904086feb7ac9f5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl2aUIgACgkQdxk/FSvb5qbN+w//eEb+bgVkRIHEyYALu62PehQJnKyOczvmsT7jMu9r04xxoQzLlN4HNHQg8IK1UDU6YkTkgMy3Pvo4pcvngJixAIRe5smKT4MiAU794TWe/Uy6t6RrHbV6+z5cvC7gAdWUmkeVlwU24loYZQ1Ji8CuqmAbcVjjgQgS8tpdmouAmjPX1I0pnQmbezZ00uMXmAThIw8obn7+3LAAc+GEg0F9085Hi2ODqPVL4Vjx+3Im8yCiRjobt8vn2Ke+Xvvs3XPZSzcO/X4Q5AK8f5U3SrLNtyBQJMVGiblseuhWAZ5LWRJXjvz77/8W2RV86xmcjPGh9bGXxQlANFoI7RJJ0jIkcqTkd55VtH71P6bP9j8eyLdC4SymQJYuMxYMG2Fo56sQnFXpJimktGHiA6fUq7JTHhguURk235bqSw1D9q+NR+KhlunCNiwMVidKne2zHtbmQ4UCpf22aeu/4Eb4WsJ4C8/myw5PtWQ11g2ib1SRoYsefG9GnDbyaHA2K9iFWkAbkK2ZQzpjWwPDIRTYBgA8F8RvhaYqicvqXSXHpYgmDuui0Smv6ku/kWMqLo05n7S7mTeE6/z7SgCpAwEudzfbmiFoQuKMd2Q/eDf68DkZYv+VOLtbOKdEldoDAUYI4vY6kv7FdycP74fwqdGI9YMJVykJNDOqrR4bkf1Fjhx/yB8=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1570394071

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

