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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-5

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

%CSIZE%
425760

%ISIZE%
1280107

%MD5SUM%
3344979f95d1f6c3a68750414775e791

%SHA256SUM%
926b5b29ff228a826ae8fc76db845f66492394de90d0bc97fd9f2bbfee9c128f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl4Nx5AACgkQdxk/FSvb5qZS8g//eimTAFF/i0vyymkS+T6zIvpJ7AMQfYEdo/AG46l09YUxcetTTqUcizVQM4/EvFTN1CT774DYtAN6vGief+rlR65pdmW3nlY0uOY2wzeVBXhT9y16PafK4UAegCprGiezMccKVAI3J2gkiLg6PgUaQ2fR/sjDBQ1IcMekmWsAZ450Vy9GCy1dumXuBgf9rucLZkFPi+DskaSLEz8o4JVJ1erNdymnyf7FEc6Mt0zK2QfusBNgHvkW4xEroKmk+aa+3iFmu4cdvqEtwIuU4Kr5DmIXBFrI3UXq4IQuJbZyndfGHZkJiCJHF1PLxzck7E1LZAPiGN2HSub7sEsCbr2NDJE53pKnJTvrtyghcWVLK1rl3OJl3syupomylPGbMW5vQo7DLyw3/w6mwkEN160jvYqYiqT54Bvb38ArO7K3ks0Xb6+04kK6k+m7hogbN09gwPEQhOYFaYW1NbGutEZkVTZ+klnD1mMSWcWR2a0jH1PkVC6ZAxZtBtNusoXPtftIwZ4eavF36NTT8VnQ5mJQNseI52eQTxlhBB6b7YENJ874szdzcj9xpYg9gwVd7Te6ppy1ZN3dE60o4cWsf8rt8ydiUl8EtkwmD5IqsTDCwfRzxCVjYzwKapkVkRfE2VoyD2j4bYNye2WA15mjB4FXpWBGSAknXJZbs4F/EBkpEjE=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1577961189

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

