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

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.11.21-1

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

%CSIZE%
899568

%ISIZE%
3062325

%MD5SUM%
92a5a245adffc1cf59ff0cca4567468b

%SHA256SUM%
6fb232f9efb792f8a6fcfa7e4b2b4f30d68a226537e2f0e78ba43371441b61c7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmXFXmsACgkQdxk/FSvb5qaNXQ//Z7b6rk3WCs9mMPJXOClFGLg0JxUr90aABhWgq+WxEUk8eiVGEbkxFKLLHwP0c36A/VWH9aAKh9nU05bxmTMzthfHL4c5GiBfKQSKRn2pCBgjRd0AiX4Wltfw9CCKNcXwcVb0BS7Zo4kcHGlQ3AkeflMTgo2L9IhBMvmkNbztHbhqVK4XUJHm1362xxtnoebW79IE5VwmpKMyg12D2WDScoXxBQfxTLLPabnkeyAYe9IKgaao9BJ4Km4Yz7IYg6tpcWAnXV5AccI2ZvxvzgxyXGnbTKRTBQQUvElYRgiPRupobLHPiXNHMeR3Gk3w7y5EE6nNtdlBkXd9YtFY5QetA25yW8rNC76iG2tWIlDP4/YwPCB2qS2Z0k71nP0S0Xcbj+trTsXmKnruPtutQZrsoTPFx8zv5zB/Iw5Q+CvjT8bxqDT97RYcyQvR5WbmT1LWUG3PS+aIPFQGB10JwQhVGv9tDjKCGtydHmKWgULPw/V2we4vL0SxEgQLf8E5FcINy+bgWzy+vjBQE12lsmnih3yIYplWyA+1eMog2eJxX3kPyU7K2gM3O/NZgMgGY5Gj8DP4DZbzkBBcuNf5pzh1IrkpqQG+ANaP4LOloTI4ve3VRqRIJoxV6gBJeraYEjP4+YpxsezKnm61NzppO5YZ0Z6+DguRMRqaXd2aTEbMGeE=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1707433413

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

%DEPENDS%
gcc-libs
glibc
zlib

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
cmake
help2man
python-build
python-installer
python-setuptools
python-toml
python-wheel
vim

