%FILENAME%
cryptominisat5-5.11.11-1-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.11-1

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

%CSIZE%
891820

%ISIZE%
3075046

%MD5SUM%
eb48aeae441e99ac3c4f9d5ab6f17855

%SHA256SUM%
39d44fcc9ce811f4bf712b570cdeefcd68fcc56b3d470894cf6c11eea43b0781

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmSYghgACgkQdxk/FSvb5qbWnxAAt46hCOD//F641O+ZmYoPvBFEad1hzPqCslDwuCxBtEHPzCb0iCASp5fWKK7lDmz4AQoFMFhjnvjbd20Gk9DDqGyIaPQ7hm9ecnlC1K4UJjeWeWPXtYz4nYYLuwbPzJOKfX6IZLzTtjndbGqtfwROeFWu82WvtTOqUviCgSHyssUrP//zjD09NQeFCZ7MC7SgIXjlheLdotp52u8SjExj1k27WmUjJqGtsbR1ZJi5vRuAXQHS9GnHD7dvnHGmst05vBmAzooyw3kruPPLZNtYywILj4AC47oDZzfNwi2skMDgutOAaflMFOgIS1jKTBDkMc0/+9f6pa0/E6yZKycWhtcUTvmeHHSCX+RK3OYgQ8RyrU14yszhMRgnuiQYtWoK9yRqq+9U7p72j6nx/z09TDh5YmWFDKB6BBKj/YNFUVpJgG+TcaeVU9iblOJRUxhhkLIaKxzPuxPCyiYqD8ekBCIJt0wituNUtwJeGfiilICT0sKOJuEdNXkgjaW2jLXGWM5s4GMyPybobIa4TYM5yLnSBalphCrMupbBz08G34MYsVygP1KM53Xcma5X9HzqdIoCYG0MoptrCQeBynkUrMNUYGlXIyEOwal5dtWMGoSOj+mUk5TWvY7GlcnRrdjfVWTRtzlsSqh13sMTZ0sTQyJuUkKlGv1yIdjAOaQL7/U=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1687716212

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

