%FILENAME%
cryptominisat-5.15.0-1-x86_64.pkg.tar.zst

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.15.0-1

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

%CSIZE%
992881

%ISIZE%
2772580

%SHA256SUM%
abd3f770dc12ad9cb7d18cbad254f6236e332b6beeef2ea32b55d38ea40c714c

%PGPSIG%
iQEzBAABCgAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmqmnksACgkQek52CV2KUuTn5Af/fuKkTybpmKr/3U4pKQ3odRvQKH45H7jtoUKsQ8PjetKnu2wM2p2s09CFwIkzm8b41kDlQIDECBRGoxJUnvEuOQhxTs54jQwCCpBeKqnuGmgNVxJkV6VqP6SAdK+nm9R3UGG8QXWJg35uYGeUf8gSho6sMiWnXKQRCJ7aK7dQrcQN8k0nC2RRWnl9e8aU6i86kO32V2dMAaDQpQLeIBulASCnHEfKfSbtV9MFYl6W8qX1DkV8z4wNRy7DZrDo+4iMawu9CQLjcp+DoVSe4tKN4Kx9TFNUjTLoqetK/Wnh556DkhE0SrZ0TPtF7eJ7ckDRCaWnMcJxnW1yE8dloctQNQ==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1789304081

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%DEPENDS%
glibc
gmp
libgcc
libstdc++
zlib

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
cmake
git
help2man
python-build
python-installer
python-scikit-build-core
vim

