-----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-1build3
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
 df80617fa467d30f20e1b19d6e1c6236b42d97ec 6352 cryptominisat_5.8.0+dfsg1-1build3.debian.tar.xz
Checksums-Sha256:
 1d1658eed6b640cb1886308b516fbc2b91c8a77e0c6f48d609572ade18f42178 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 722b4598c228239bef2e970e9e8569e2e8f14b17e0ceee1a9ee6a2fb69c5be98 6352 cryptominisat_5.8.0+dfsg1-1build3.debian.tar.xz
Files:
 5b867b1bdeda288f3604bbeb42a6fa15 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 373d7cebf1050b31ef67274a13f2e20f 6352 cryptominisat_5.8.0+dfsg1-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmHgeU4ACgkQr8/sjmac
4cK/bA/7BhulnNT7/2u3mQoVxpnWgagVkgusvtyuAgh2GQCsYPQHHv3O5Sv4I06g
5akTq5/x5V/3T/bp34bQ0eC4xNLGadngF/5He4Mtbs6fmoybiFWI6nPXIu2se8GT
ro+B57r2TR7KI4RGSi5upnEM5Py+yMQeHwxbH8wmJARWRPLamUtYGyB9VY/CUQv2
+xzABB9cC92HFpgL9gtbxuR35mEaddG+d6jcE3WVTFprwLhg0SxUOMU89gAUK3hT
oHZ/b9pU0ZfCJGTvI0HElweDCLHZgwyI0SHpf1GpNkM1ZpHzgyEPxWZUdIf0vdN8
afatBMSnMcJ+bbMtwWIVLGZNI2xUv1EMy6F4LHghL6I8bT9RVc9AGT7BzIQCqqD0
bjTPIGwKcfaXsP94zb/Ze/olAtuOmyVqOm0b2NwcaPYYfehsrjcqBsPzc3CDXmBv
yYYRvM8HFYXAMSDgOcE1/nE2tC67Lir/dn2Kd6JrDtVhtcj/Fe6RLDliTHmmYnvX
+B+Z3hBgDkOnQikHCuxeXFHpBCDFLU4xwiIzblr2k/rjEvtgyg630Nc29u+eBto6
2CyU6V5YXOYG1AlCrh9r7yYNkLWocQRoj7QbgFUtFwxeM3VO3rN/+H8noOIzKKpX
79AvHpfkTvp+cXntbtObxrDmKpYSLGqHz3BgVErFWJEyGXFFbfo=
=EZi+
-----END PGP SIGNATURE-----