%FILENAME%
cryptominisat-5.14.7-1-aarch64.pkg.tar.xz

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.14.7-1

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

%CSIZE%
991376

%ISIZE%
3366461

%MD5SUM%
e099e20e118a97436797c4283b12246f

%SHA256SUM%
dbf581ba26951a72f98604ece75c1f50ddfc9778cee6009cc86ec926071899a5

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmpAJLYACgkQdxk/FSvb5qbOJA//bjEjX1U+UlkxIv0FsBUILmaZ8H+ecatDXJduRZxllbL0U63SazAlYdTbu8+qyY84q8wJf6LelV0QaqoRE768bAFsWcl4EOapWmQAWXHl9QLDdfOahYjegUEHWD2Soc+lia1x3n1W6zu5jCeHlY2DDEqJUyGkRMZ36xZLvGm3DmfbKya4dfY1QCV0hop8nycUa6w2hPektZlvcMmMAdHJ1hwQ+PApsh3cm5E8xehlHh4ByqsHi+OLe6+Bfvn9ua1tg0lDg46366Bm1kOjRGhmluVyCorMu2+RmJTUYDIl2wkKCDha4L246W+4P3iRUkmB1kOs71xaUOyVMT2SEk2vH07/0KgLyaSBSoeCKmUpJEoqADVh2MnSos8t1lGyAfepcoNVPjHLw+KeMXKPF9yGzVjnQh9gX55S6JYGQ1HUkZV511kWfS+qYQeuq4zYOZP95x2Ogo/5mO1zCMbK8Hu/9RkG1BFsdMZK9sSmOsTH1Ovv8TjI0DPUhmgybtFM+i/mdRfFq6bRXsptOKYaPaKyfr6phkIuxZLyG2DjJ8c+U2BiBzGZ8iqinrbjgZ0BenfNEwTUvs4TXD4tEi2CLMYKqOwuXr1a1xui3tNg2HIzCxfhppCT4yZxuji0epDYI4mX0lhdWel6417yOkrA4u5Dvmex0DgM1SZWcxI6PWegAZY=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1782588447

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

