%FILENAME%
cryptominisat5-5.8.0-11-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-11

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

%CSIZE%
495964

%ISIZE%
1472428

%MD5SUM%
d5dc97ff58ced7fa2e0165e791cbf437

%SHA256SUM%
9768f0e0a51169184e44ad8babca4462f4afaf94b48bae0cf2089e5767bdf926

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMoAtAACgkQdxk/FSvb5qZvLQ/8DWt+Ja1u33BhrDcpaP/gAWcQ1ZYQWnqq1359cpsCnRKGr8vV67ZkQ2p5AaetRP1+IsJl0IKKRLKNwdhGXNoFpus6NGfK38dduc8BfcCl362zkzB7GIyOmTSiucdOlEtfagqe40ewsFpqpkyVXNB+nfgtqGcl4R6qAWqWHW5tH1a0jamPp/zqjMG9glWeo7gOEyqv7dyDQZzS+au3dX1gmpXCQsnzQKbDAOawYK9HiB9tl1Zo7IkZC7kKXHQ1i0kyaEjymACvOrlzu+itl91QVi0rR+EKfY0tIg2deVqyWVEsRZ7oreu1GuT6rmDoLZRmG5NSqcfrFcc3GPOhW9AF8Z28bfpWJZ518Jh/kiixPvWn08SupmzAh3686yDis8u2Kqsvi3jNs+TbgkZylpnzmecBV/8LVx7rD7abjI22xSbQR3De472rYRr2aYkROn7UvHYlTpTGB9WA4T4DSaVNVtifEBR4IkQNvtbn84I0lqJ83NFHnqI/uNrKcueKXQ990DTHOM+2lr/fFDcn/aE9fgTv//OV5ivtbJVbHbr8BiaEnIEeTdWC2NWysT5V9V0lrIazNouAj6ioFwE1FYuHTBHWM5fOZg3MjvLtI9jG5IldEEHYzob9dVdELTJETEAJIrVFiCpkUhaekneu0yONOayHxoxr9+JeCpwivLpjfZ0=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1663566445

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

