%FILENAME%
cryptominisat5-5.11.4-2-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-2

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

%CSIZE%
891156

%ISIZE%
3074051

%MD5SUM%
ada9c05b09e1030125922fbc02e2af27

%SHA256SUM%
08e20a25fa96e7eb7950b4db05fa4fe4ce3243db68f7806261dd2b51c08434d2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmPNsB0ACgkQdxk/FSvb5qbzLg/+NbEukoSJqThtcEVBx23v0lM+W/iDaT5cXs8kMvQoezq9fnZS99McZZycJR1i9IcF/ilFDCRgeKu5zYyD3njq2kaWnvKjsRfOiumjmLngL5EDFROcWqW8F3VphS+RvCALLx/8n9W6Ak5No7ZMeV5KoeK+AiOz6KqS8CoAjm7nB59aaqOvqYLfJ92rJGnJ3K51OsSvHeVs8hftnt0fh9qpJlKL5AYPAqBXd7Q8xUrZrn69ty3G5/r46FUIuCHU0UdXHtn+g0YRfYdFyVhVc37OXnd8H/GKp08BzPCgtqaKCcK2HDeo+3MQSDiUPoj7YHx4sYvEpWO3O9+8fFbY6gJ53qPxhmf6HaGT2MVVYJBvDuFD1uogmXhroAQ7DHV137uaP6nK+yxvuDW3/5vQ46b2n7qBpepmmThD9dmRJqW5Z7AEmwLzvmMfD0wce9HB9wGrFY85EkCtZWCmZatsAdyuOyXxjujvxVbd0xZBJVP0TLsiaKkq0ViErx5D/MjAxfphlTGEOmCuIyE7aZqmsEo1GR8b7obysN56Z9gQ9Wt61Ajko41/R5+zRg2jmkb51+9bzSPY+Cg55zwl/S+lRpjmYMlh1HY3HNcLraxXzWe+7v9wVXu0Kz9vDB52fwN+yLEpFhNYV1xAEzsOB04dZpMaUgRI/PW+S31sUCQNZuv5D1k=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1674424172

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

