%FILENAME%
cryptominisat5-debug-5.11.4-3-x86_64.pkg.tar.zst

%NAME%
cryptominisat5-debug

%BASE%
cryptominisat5

%VERSION%
5.11.4-3

%DESC%
Detached debugging symbols for cryptominisat5

%CSIZE%
11395845

%ISIZE%
39314418

%MD5SUM%
a643a81ec9d113c4d56be70b9db294dc

%SHA256SUM%
6532fa477f0db9f8d6e1ee4c946b153592ebf56773708f2343949245724427f0

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3DIcACgkQrx0hme8KPM+GHQ//bMlfukyzz//8v59GTxr20K8m6/KrbKnWUhMxRlJmbcKfF5S7Xg9N3ldKBjfqJ/3C42DaEINNDnYzXRHosVUx7X78E0Qm7cVsOndm2kpuw7rbUCtRPvBgH+gbqFN6sPAGyL6j+Ko1btvyFSPw6KPKlICgcQ1TdBV1mQa+7rxme0xo4LKOOJ8FssjYGsHBWbbRJfXAtdAGrRElr6zQqDBCun6Kh8W97yVppRaGpw1+wKs4pVMZ0RwZ6k/+svnQtDvO7qN8bYirwackBi65sVj7E/zaozeVGIPYU8olNVUQ/5ke0IUhHRH5op86CvS8A4q5a3w0UaTxoTH9BFvF5HUYpcpZD9Asr3bje7pYL6REOzJHLSE5hEDNZkVFKKRK7PIYI2ivEdAE7oRKsGnrgcwz0Fe3jWXeYiJXez29d2ebwwrcFqtaz1OR0WO5fFkV75MhZdYUMd5nHUx61GhP9dkBqErlGPr9QFl03vGG13VZLAjzLDgACIn8Ts3cQjQEjFdvcuGuS1rZ39i6upNomA8mQuY2VNWFVTZ7XRUAXtFphLVARpTEVEaTSBOtdUqTRZLgFP3qZ/TQzSnCyGXvZpbq5/aB65izIFl35oWVBm0MKKrXJ5ZiRoCW9Z0XCOxSw9MHJmweHoB/JeCW8baHurxiW9ZYfCDnnF6dnX5v1EpAIV8=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1680871959

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
python
boost
cmake
vim
help2man
python-setuptools

