%FILENAME%
cryptominisat5-5.11.11-1-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.11-1

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

%CSIZE%
885344

%ISIZE%
2744467

%MD5SUM%
7abce659a3393675d8acbbfcfb620bb2

%SHA256SUM%
12950a517ca8a9b7ca0462549c8bb8dd2598e339fd804c8f797baa7b33a81c22

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmSYgm4ACgkQdxk/FSvb5qbB2g//eww3vMgukYAVZ9YqlvYEJU5g4aJ2YTLTm+qQhrPZecoWP/gisguxS2AEmhVu7OIfIljo6t6ec+tT3U25xfiTcXr3K1p6y2wWv3+jrYZm+bYZTgMDkwVF6QpziuGHAQXIthsLGTb3lfKuoJ67YBG7L8ah14MSk7dxColwXPKtY50i+itZ3HwdM5DsVkj+AobsapXrxbtb2puD7kjtqntQxIgReNNpP/BRIroaV4o08nSaTie96YqIfWrT3mkZjjPnSMNBhplmcVo+JXHtVNAdWNzjzBb5dLPTXbvw/Yn1U1/uPMi3kTIynEvH0ZbYzFhHA3z5zemII2j/UQSCXToVecJU9GTSMl/JUD10bam1J0DiRDDbu25iksevqCz3tBnsxicMwYe4nWHHK15ubWojaG+zEWY2XAAmIczWq4Fbp+svH2pSPKKGqLHOIWmRI5jDFHsTqnbCnAulX0ZIo15bgrPA/JZoROyzbj2Vr8AWUQ66ifcv2a9g/oRN2ClnSQ8ENEhVVDMs5URi3gHniRbFzUiJATs1NHhjvtjh89mzpWjSyEi9Q2LYiTx58hFgbOgVOzBpLkuOrYryqUPPhypNDYCDhPG76CSAjwpMqt6UC+lPvFa2JBwfvv676whne9DTygabWSzuwPMFTkLrJyDYt1ghJatOnwHxGzf8CMHiWe0=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1687716237

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

