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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-4

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

%CSIZE%
428308

%ISIZE%
1311972

%MD5SUM%
d307e0b28b2a49727a30e6e434ef976f

%SHA256SUM%
f53bf2e41353b8b494e33ba5f7f1562b1ac1d42412cbfd1eef518db5951d19f6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3O+88ACgkQdxk/FSvb5qZx2Q//ZnDgt1FQhfIsQvpuw9UqOo6KN/e+VWBH9tZs5xzAG4Yq4GA0PPVeaUa/1H6S1yI8ZHqQGFmnWCI3coxpmRAxj+E+Ao1rxGUYOAC90dc3BWvNM/z6ba60XHkQXVTEu1Krs6BpViaK75NNPYO8raEkhRhW1E/c0J84vA8TCcDYziqZMTcsa4QXTLGZITUjs11XgdiyEBShuzCVL+8ztSMNhvaybV0gAgkkcFaIBQsGIccAAaT4Be6GmotRfjA9QGjAsfYULGAg/UwrZY/uopybnj9vUcmzdBneckWJWJ+wp0PPJ8sTvHpFjVPy3SXLY2r8OQffsEarpOeVseMu9Fu3pXizkaGskXlS8Xg7/LeCrmiGJbGsJaKEHJ/2NUYJbzqRTXasXKBsQLiUiUCWlwUQlCwjATmtymDkd3Ffv7SHiF9UQjlmdUsuEof6+8Yu8FBR8dAAojVqhODxQRuwAt9I7pbhRkrtUw0euoH9UHt2RqU8ZLaxnRU0r8CWGBnT/Ttq//h/jjr4eODQbaa39dhlyzHhKHwKrLeWLBdBkmEGRAJugKUX4BAFM+eQIa4D1oOH381MxbFufpDFKpZUyI9GnVEAz0nKrxfsoGm4MuXGmPv/klldFVKvJV3zGG9tyUXaggoRRoUvz2WrGjey6mKVSmK4/MYyUSDIgAXAoIV4fI4=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1573845786

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

