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

Format: 3.0 (quilt)
Source: cryptominisat
Binary: libcryptominisat5-5.11, cryptominisat, python3-cryptominisat, libcryptominisat5-dev
Architecture: any
Version: 5.11.2+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.6.1
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, libboost-program-options-dev, libm4ri-dev, pybuild-plugin-pyproject, python3-dev, python3-setuptools, zlib1g-dev
Package-List:
 cryptominisat deb math optional arch=any
 libcryptominisat5-5.11 deb libs optional arch=any
 libcryptominisat5-dev deb libdevel optional arch=any
 python3-cryptominisat deb python optional arch=any
Checksums-Sha1:
 155ece20e1772c450bee8be6c1246b57d21cc308 530020 cryptominisat_5.11.2+dfsg1.orig.tar.xz
 b18f2dcfffc6a26a4181fe38a05991fd3ade6200 5268 cryptominisat_5.11.2+dfsg1-1.debian.tar.xz
Checksums-Sha256:
 d5c40354a71dc57611b0ecb43a03fb2122a9233e6274a2607f49f75ea78b24d5 530020 cryptominisat_5.11.2+dfsg1.orig.tar.xz
 be8d11f94ab2e2daa34524f772419b7212fa08a0247da057c874b048fd3e72e3 5268 cryptominisat_5.11.2+dfsg1-1.debian.tar.xz
Files:
 3e9b9af2fc5c148dbf70e696ff6d9477 530020 cryptominisat_5.11.2+dfsg1.orig.tar.xz
 58528f39fa766e2bdac2640b15ed97f7 5268 cryptominisat_5.11.2+dfsg1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmM6o54SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRapUQAIv3b2Mnpai7jYqGzU6CJnSmJJB5IKgk
orezhrs+FxpiJjUj+p95erwu0lQBUvbJa7HL+SSyus9Yf/vm+eJ1hB3T0YAkjWx6
fYUA42ZSMdRQ8q3MH7aSl14plQn0H2Sx8iY/ExiWLdBSO2xPxdGvxlPtv8lzhX6f
jkhi54+H3EijHgaT0iMdTK1/4phLi6St/2gw4QxRbp4sknoLyfzwT/RABKDlw+zA
TVlG5XqcC45jIR2LOwSJVUpXPnEcqXvPdxcu7whYOxOebBHfTMnAyeTIAiSE+Prp
Ij2utk1FMxV+O8HV2O16sG1izRP+JpeHEAVN/ufXrlkXksdof/HHprlhoh3b1+ap
IuFE/+0VIv+PYr+4ZituqTiG2er7h8klM8h36Gw2mzoRqrntULIoPxhoDOhBrJel
ei3ML7x0fojdAKOmA+9a8BO3mQ29IhVUmkJfzznA0NasQJGm1YPKvAtTi5Hr6GEx
+hNeyF49yK+RhefLGdK7c+ntZirbQ28s+Oeo/1VCSvP0fBeIFHQrgId32dVSyrLt
KwRrq2mTFiPAOn7nOsK7zoIVsk6Y1XsxxKolXcOFLI5OlRrzDEDdAVD69bbV/int
CJgygzb07BcltM7h1SI8Pk738hyDa5GnO/Idk5Lu+wSDgQGoGgMlK8QCcom/iXbD
ls5Kyr1WjAja
=r5C5
-----END PGP SIGNATURE-----