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

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.13.0-1

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

%CSIZE%
971636

%ISIZE%
3225125

%MD5SUM%
286602d6a7e9a1d166855485ae51ce64

%SHA256SUM%
2cbf79f794b5d1f3f536d129c4aad5f13ac4aebc17ad110e50788d7ea8bebb26

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmmnfjUACgkQdxk/FSvb5qazcQ/9HEiX2AWwUsPAX9kq7TUeJ4sNl8Uac5HSvM7nLdiRzawxJFaNgVyenWarroAtT3xXVzjlVvMJcvLCuk4jq5Qyg4uuqgZj3AIOuhyevtzA7kuyaMY3ur2L3BS9yE++h8f2C6NQE3aTxzPlgzN6e83urm8v1BCaote1AngPwacqEma2OqZcle+tIaJ8ruokSmr9WmNd60nQnV+MnacglhQ9RSMAE/RVP3mrDm5D0QoU9RW00CPQE2Uq9x0JoqVPqUzYggDwUdqwt6goKQy/KMYiZZwO62ZfrH6vp7/H2qMcjy7nauAnNrUJjhinFLITYecWrzv0igIgTIaxe4/VaGVfmbTTvn1/KP07I7uqudv9xtO5f8sjLZ/LYHDjP0sJG3pdSI+C/+NPgKfmZxWK/OX4zJVB+jPVYgR2bqMNMdDOeaAdRWwaR5Nz0Zoie3oQxiskcOj1mbiwkLmNtn+hcF7yE3UYUeCm4z1020UMfa/t9+Xltsww/WzplcYzwuY0+EmSewmuIBS4XiER5BsMeKJO+ck1wj49bfEMUgbfJewaFR0eRLHVMJ1ZsVxSobXSxOyjIpxk2ZGL38bLMuy4tjZe8QELI/VRWLzhh1NRU3Rxp+kQS4ZUCaeNJbevzve7AYxPrhb1QFlgpon7ZySqItvI4/IYPPm5Utm91pAdPfDo81o=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1772584401

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

