%FILENAME%
cryptominisat-5.12.1-1-armv7h.pkg.tar.xz

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.12.1-1

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

%CSIZE%
857048

%ISIZE%
2570079

%MD5SUM%
3260cc091cbdbbdb0bb015c443c0930b

%SHA256SUM%
586530879524c0bcee46db37c9850fd2dcc062b46ea1c6609470282d1ec96d55

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmerQVkACgkQdxk/FSvb5qb5Nw/+OdydVsRaZdrSlIVc2jTgfgJQMZZSybj1ACw7rP0GyR7meefDk4T4GgbNA+7lu12Qvs7Iq8m4C2CqW8t0k3wewRq0CteLpLS8jhyI1l8NxFGjCmSl5+WE2ilswkAzGKBcq9B+KekrG8mz92ZxkRMxemSk9pq0dUJPfdI6gtPAxtpQdGCIi7BvndvOX0XjgfCPtjS6cIcmYJLHC26CjlZ5RacPpJcYdwnZ3AfRnF/T686pQwqV/vBdSUgh3aYf4ti8PnKjAqOlAALVspaODo+r53SepGxhGXaLnX+khfhDs57Ws/B+ahzeos9GkQWZ3vXmBfHA5aPjLYg1h2lOyHJKxDBYO0D0l2ILY6guhMZmR2d+FcAkB6yragxDJ7P5wN3ae2j/GmRdcG2S9qkjOcK8D3vtWMZKGiWk32Ng0ksC/UqHWfLEAbCUyDZer1UXb8QcxHXGGVmQc72nsPDOzAIuJXO+mijYR2mUi9nH6Eu6teMetxmOiYYLTisrgVcjUI9191fJYC1GQ1b7FwPDJaSSRLrxNrojEuhsCBdx/qwkhuvj3Ri0TnxXcuhtnDC65STSyvaWjUx4ZgeN9b1gIscYePI7pT7BYuLbyrBdSD7mDZu7zTdPgAQdqFdEeK4h1eyboHFkf+ORxDAnMV+pXPV6GyL0PYVcfG6Y91gjjRRRdzA=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1739276512

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

