-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: cryptominisat
Binary: libcryptominisat5-5.8, cryptominisat, python3-cryptominisat, libcryptominisat5-dev
Architecture: any
Version: 5.8.0+dfsg1-1
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Julian Rüth <julian.rueth@fsfe.org>, Julien Puydt <jpuydt@debian.org>
Homepage: https://www.msoos.org/
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/science-team/cryptominisat
Vcs-Git: https://salsa.debian.org/science-team/cryptominisat.git
Testsuite: autopkgtest
Build-Depends: cmake, debhelper-compat (= 13), dh-python, help2man, python3-dev, libboost-program-options-dev, libm4ri-dev, zlib1g-dev
Package-List:
 cryptominisat deb math optional arch=any
 libcryptominisat5-5.8 deb libs optional arch=any
 libcryptominisat5-dev deb libdevel optional arch=any
 python3-cryptominisat deb python optional arch=any
Checksums-Sha1:
 4b69f26c3bacbc3a36920176e7f7a54626328fb7 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 96288bb3d1c8588622e3ec2cd7a54701a86083d2 6188 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
Checksums-Sha256:
 1d1658eed6b640cb1886308b516fbc2b91c8a77e0c6f48d609572ade18f42178 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 f0e9f85f6a620a0dabf7e5f47b935684aa6b54d93f065149931733091084635d 6188 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz
Files:
 5b867b1bdeda288f3604bbeb42a6fa15 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 e1be00a2c948aadf91a45e670cc33215 6188 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAl8Jx5wSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRUQEP/2iMSvclJ+nPaOkdr8OE26HMbMOv2LHy
hFmJUQAAuacSrBArbV43IP2Zk70op84hndno8yaU5QJlowpino52K8ZIXSgcBGQ0
154mbAsQ4mrsGnGV7zsS3VuPkharaQjmm+28HM7HJTbEDlV06hRJGPzD7oqZSEgb
PKjm4efuXpZVl2btoNzlNAf+EFayi2XPBHPYjex5mxR07+FNtScDo4JcpRX+BGQq
YdQYvioIIH0S5kvrR3qK3TVE16gEVeZsAgnSXe/Sz6qZbwP+nc/oGQij10KCuqrU
55MxYQfPliK3yBui3lePG9ZxRUeued6Yy0Lw9PCAQUZWebBZ2GeVq2YtAsuwNByg
g3qCDudxhyDOUNUL6Hw3wM9+YJPiJUIhIKFyv8yD5+qam8rzFlRi6sAIciJRahjm
f0jZh9t7LT4ggAaN72Ql1MdoCM7raMabU0clC3NsS1ySBy9qMsVezmMQUPVh9jOC
nzoNs3iyMfsoMk25qVVatiwkZIJNB1/iUi51KJip1Z4PMG1DWA4F4tKIc7qvN81o
XAHh0nHtj+PCXOpNSqd9uohyPBxzPqKPPBJ7l/Et6UmdxB+djHMAhW05zu6uPDNm
H9btGf5Q6MG16F/RT6Z5Mv0qhukU7BxOCvAHzkm33xDr/kIs2PdZxhqF8/cD7Pif
zsHur9RsDrC2
=7XeF
-----END PGP SIGNATURE-----