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

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.14.5-1

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

%CSIZE%
988192

%ISIZE%
3366461

%MD5SUM%
58e8e9c24039cf06d5cb5acc355cd30d

%SHA256SUM%
9f683691c89a93ecf07f0c2d4b7a194a1086bd3f120d00e1359381cdacc3efd9

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmofTpQACgkQdxk/FSvb5qa3FQ//dn5E6s+1dnmtE3jZ6WrhHnsA2LvGNFSBl7B7d9G8UUO2GA3mw8CP5PAN3kdhnzS/SkwxZrmgh9aubmBvlbQSC/OrQiPWQxZc4oEX8JQWegz3XGWNxRHdoPlfYQh488jMZIycKiiy0c5nC9daijsywE9l/eo9QNwBk24Uln7hVmJltkYU26Bnpsnj2sXDWy2oqccXmP1P6qedDgWTJTl5eiz30T9WGFSn2dpXC2Ra067//WSJmc7dD87n9Oy7+3P1z4al7Thx6nOCNsrQQjIhXIixutJVTqAnd5HJosFYhTcq6wKBLITZg8r7qxstmyE4uTxOhA7HGyRIFNF39eZ2kc5vZ0S/z04R7h2oIu6QRp2yFuSDMbQJcFN4p532yjoWnQtlzNtiDzZZrt3/y0sYGIf5MoEwXh7vwxO/gO4pK0T0tlVCOPW0rqretAzS81dpcG/zXknrIpTnXEQyLHtK93syHTUXJHRBT7GnMdI07XKhGShohQZdXJb/mbqq9fS+pYkt8qRzAwyyvKOPtDV7m/0ch6zEfJpVWE166i1gtylpkQmLNSeHVAuYMS7xoTDMuqyjF0bXoh+LOHNa/aUIYMfiyLKHfSK/BQAU30brt+o/zkL6cGRWKHDPuK53qEEhOwNU/iMqMOGz+bgBSkDHHdungTfmtz8s0CQqcDA3gVs=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1780436492

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

