%FILENAME%
cryptominisat-5.11.22-2-aarch64.pkg.tar.xz

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.11.22-2

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

%CSIZE%
864436

%ISIZE%
2923850

%MD5SUM%
081edaae2e1a7367b60457fa4ec4dcb4

%SHA256SUM%
11da984d048166a8156e00776ee650cb2ed38b8a2f19cc024ebf33b357681e64

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmbS+5EACgkQdxk/FSvb5qaRQQ/9H/i9Hmm3npDnTO6H0u/C3avlhhQPg3yHKsgDop5wqPEBoIWFk6cWTAh8tzB1wrPc1H+dBpgE5X+T5FMS4gwpW28S8XA4yTNjiqAiIeLp4ALUJqWv1VxkKf5wtV+oOAAxtdEs774hWdVeHMUHePW8cW1i1ihNThve5t41yXbi/wTx2plQIaKtWNbL6HlbwHYB9nQ0zEKCcpp/WoNck3M2KeyDo/milSev/HOwWN/2k3vXu86cXTDEPZu45b+q0MsthnJZmX3VTxTEEduiPW0mzOM5/dmIUNjRmTL37EmsuAVVsxmTVwg9x9aF2E/4eJekh03xrVTpl2jBugrBoo0kppG9n0YqvsMRooNh3n+vL0c+CIp6+g3UCKt7PHFGFDuLJjDqcAvxw7Y+H5TJFzAtCpf3/OS6q2sCaTMAYk587u5ffbwZW99sc+u3pSiTpT/8JAbgkv2vcQgINIdfr3p+fgYC2eiS/HdqjHeMoMY+YhhWqala5eaVAc/iapJ9eIrotRwtKiVf6t4RNbi/ZfrJu4ufTZFzXs5K9fsZkrZg2ovJKpm7EsfE3CQiNnfB+BR3MtS0U9vcD/oglTi30AZ257HCeirxcC7DvwnUUIKSVMrtfHcvk4P0cMTjas+ClUMspThe8Nkz6Jp6PjnxCNchXBd6fP61dpPEMkFBEy+QtzM=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1725102900

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

%DEPENDS%
gcc-libs
glibc
gmp
zlib

%OPTDEPENDS%
python: python module

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

