%FILENAME%
cryptominisat5-5.6.8-6-arm.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-6

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

%CSIZE%
438492

%ISIZE%
1372583

%MD5SUM%
92fde9b564e85f9aa9c736a167d664b3

%SHA256SUM%
8a53de7e4ddb0beebfc5997dad785a53fc0e99515d0ff661169888ce631928a8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl4zuCEACgkQdxk/FSvb5qb6dA/9E3A0FT8/41PBhTqrFE0qf/je2mUcDolIevRhPnSIG7OJz1Fp1orw1wa/TfOUmOfiv0I0eQS48/iPdeJjzJtIM2cJSruAJnivvOBIwghlvT37BKbbv/IM6TD0z7oJCZJf79N2mrUf3O12JMTvKGG6ml8K8iQBNcsUfuoMe0A5DhE6Fm0t/7Y+VmEBcpkFbZcVCQ4jppPlSxrR+BwQAyCzQN/yPBcOlzfL8HVkF41DJuGc0oXhCaROxXPnw/LNNxnJZ46UGDgutHkI1InHBDbdHH4pJMfz2CDxmo/ZYuL9uddVEME6RmgI/TYbj3cAZ4I24LOVM0VcaCWA1/NnM3ZZ9Sawx9CHCqWl8qBX4mblkviMGFB0RqfDhFJialWOp7dGcvgYXu/7U1TRdT2bUvCA0FRwMvrfmo3/xCicIi4TLI/zXPSPwloLyJw+1Ox0zms2owrT+fKr6scEki/npPy7SgT1uNAl6ZjB16Pl38ZtJzfgTyTo4PcIeNd83IgIWUiO8yvy8wJfDAeVu33XP/WG6EeJjp4IYu12g74q3nq2G35f4XzNsOR0EfGsebBJhh/ERBddYZj5/7U114spy0CGraDzCUQ7Yja5Jm640eK7fxADYgfVFrjCAa9QscKmT2OfvxExtz72UwrBYJ74seS7Gr54qmrPkR48xSm4f5xdFng=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1580447604

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

