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

Format: 3.0 (quilt)
Source: cryptominisat
Binary: libcryptominisat5-5.11t64, cryptominisat, python3-cryptominisat, libcryptominisat5-dev
Architecture: any
Version: 5.11.21+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.7.0
Vcs-Browser: https://salsa.debian.org/science-team/cryptominisat
Vcs-Git: https://salsa.debian.org/science-team/cryptominisat.git
Testsuite: autopkgtest
Build-Depends: dpkg-dev (>= 1.22.5), 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.11t64 deb libs optional arch=any
 libcryptominisat5-dev deb libdevel optional arch=any
 python3-cryptominisat deb python optional arch=any
Checksums-Sha1:
 3f81cb82733b315d46ad39b252ed872eef319068 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 05012919db4b15042857cf622ad837f9be72caa0 6620 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
Checksums-Sha256:
 458f5a87b00cdd7667dabfada8dcb8460c93db400f11ca9c0b105edcf9370060 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 e281267f53549b03a28c5a231b1dda7a48f00b96579d25b0936d1fdb4dedaec4 6620 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
Files:
 73a3c9062f35408e0eb2d90af7e3cfc4 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 5f4410c4454abe9ce32408d1175532b0 6620 cryptominisat_5.11.21+dfsg1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmY0gscSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3uwP/jr06oZ4DFhGDa3PREzkUBiG+HC6ldXI
uvKc2RfDbdv3XTfV+ce7+zAVGAp2UyN3fGH1NReInOMERw8iEbUHDeXp8J8nA5s1
oQA87wNFZtAlIS1mGamebYAHR3UvHecgzsvrkVSuhC3qE0ut8W/r7or0w1g4iyLB
v2uk6/viKl25EFf+GRlMU5ChcJLvd9uGLmysRXDH3G7JlxQqqSogd2+bVSGzB4e/
k1wp0SX51Yb8cMxgNx47SK/QMzcPGBQrxSuu5l1uZ5SFNfN5VhJ6JjMHYg4UYpO0
m09AYOtKpUqeuVYj/WCguRf1KC4q/ZrpfdYNl0d9P7u3ffR8ItYZHqhZpEUmJooo
Yb7dGtfGR6KLfpupvrngngRA2u4VNn39YQtTERK0TeFy+0hm+3y+HVABpa8ZU6SB
qPyxXhx/0ToEG+UyQIqAzq2cWHJK2Ml/FO9mY8/cKidlORalqNWE0YglgtX09pGw
IR8a3HGA+iHCm4W++Xn9jxwIQ3dam2QbC8qrYAvfHQkBXq1J4En/agzt/MbEBhH7
tkCs8fju/2tHLGJfKTkgGgxI2XtId9Ml6AqxGFp/tfK+39hCR56Ys3snZk0+Q9wz
goWDWLgQaFjAxSg+01aP98MKqDgCoqtpi3QJN9B5TJaidSPaxVOAVoyga6SFfvR3
4iKa43rTJ9pL
=YhWs
-----END PGP SIGNATURE-----