-----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-3
Maintainer: Debian Science Maintainers <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
 4d91fef67e4f3a362a2c395dcf182cf32d0ecfbd 7020 cryptominisat_5.11.21+dfsg1-3.debian.tar.xz
Checksums-Sha256:
 458f5a87b00cdd7667dabfada8dcb8460c93db400f11ca9c0b105edcf9370060 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 7e3fa379078ee12b9cf5fe11312ce3432ab0d5fba93c2803199014f6bfed17f1 7020 cryptominisat_5.11.21+dfsg1-3.debian.tar.xz
Files:
 73a3c9062f35408e0eb2d90af7e3cfc4 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 718597bcbf42e564dc807c39b395ba9b 7020 cryptominisat_5.11.21+dfsg1-3.debian.tar.xz

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

iQJFBAEBCgAvFiEEj23hBDd/OxHnQXSHMfMURUShdBoFAmicKCgRHHRjaGV0QGRl
Ymlhbi5vcmcACgkQMfMURUShdBobfQ/+IROK04PPJ/2Oaa9yNev6BcNHQfGp6mle
/rTdDWH9ybHltIxhYnAkcmw/i6Ar5hsYhK+oNi07Zs5C35fHcvOx7u7Ow6dp+JlE
ax1j7u5ezEcN57uJT3JjsaZS2QLvu+VbOJ4VTmDVZ6lGW31PVw9I9auxs8OmhoLk
cWg/DGPh5eZglGyCEGfISDp7HtA88ys/vplYvePEQsCeExdrsfMNUoYgfXNpbamU
/Bme0W3pxk5bzsuNavcif1AFJiIdmti8iOe3B+z9HNd0t+DYcftkQe5tOiZiaC+v
fz/4y7MytlqCT4MBaX1AUdBYULx827InYhsXR2jwJELgqsceiMIwfWRZhNznF+Qp
/ZJ6PqdHJ39U5ncja58Cf9zEFJ/pgKhGb59ho+8EFpXGZF08QgAEsjvQGOII/0lw
JcNU9HofY5yLWUW7NQamNEH32XoUPXFSRg9D6ueXQJF9EsXGMvNU7+iEWkbWexGs
Wg9FdhvYtdvYqKOk1jOi5HFXIkbal4HpBjKf8lQUBwOctysdCi+9KVm0SnPCQqVF
2+S5YB9zdlKuYR2d50qr81R95IcGTW5d1hvKJBGRpdqAoiaqjS7igfKgUPeGMoqu
NooBBDDLzz3qe52wbCnN4804MP3W3B2Ga8nzGyeFPblIot3HDuESNnFyWZ1qrG2t
+s/K+xJWQe0=
=6kIy
-----END PGP SIGNATURE-----