-----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.4+dfsg1-2build1
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:
 11637bfd57ba312a886817a9717869a34a644f5a 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
 ec0aedecd6ffa140d761deb1ad1e943993158ae6 5436 cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz
Checksums-Sha256:
 1e499b5c975055fffe6ea9a9c0209264949fe910c294d7b90a6df9d6e36e783a 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
 430ee4c5271d02edf655d0f26b6e3084b96a824747d413e1e8be95e317711cb9 5436 cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz
Files:
 22041d86963e4ed8ae208e8638ecb007 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
 6101d13780005a3be6dbc44dcf814ff6 5436 cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmOop0EACgkQr8/sjmac
4cJ7ZA/6A3eq0ccmCt7O7NH2wsDWbH5deq9M3XHMMBiwF6Jb/AEZIyhZ+GQ2eTlB
XV2ES8befZlF++sEhZs+ecvK3Yxl8UA8ia24Z88FFFnh4ulU8Q4fCi2KEPwqoUSi
kAbV9yRyGrTVhZK3qCgUKEc8KUerWE81JeH+j6grHvkJr9qGBT2GHNSxYuDXQiDl
ZFPCaiJ4d5tel/oY/V253k688GBXvMDy/6P95NAD0e1ns/EJX7rrw7LNfzS3NhnZ
soaobe4SjMycewY3MuPgsIobbyWVwamV7Y0QCU26cwCkOeKRa5nyGzq1ADfBZgNt
YKeHkO+4ANujAtzO2de5LAigveQGRNJk3PxLjaJyRDlSYxNk5n6nW1ITKQDSRA0D
/zkxweMd2uGDLUBwWsdfs1wFrUHQLm2aNZlzlg7rziNT1vti6N9SZTzoYGp4afc3
yI80bhHKNj44Q5cUVymFBG/nHzPTdexRQDBHJXjps6tzM2hhDbz7EQkp/1v0OIkD
RW02KBcsOjg512Gnr5o7WGR89PlerTqCSdZxz5hdqVj9I+5A/cjbTspbvLKW81aJ
/QtwB8CVlHLR/ZTB0SLnh3yYN2dpaMq1lnNMWoimgxQFSghXyvyvBFbKoSBS8oSx
vFsDdiF6hMymCtNiGnDENGgm/4oJwGzgK0TvUJxw2kbErUYCguE=
=vsYs
-----END PGP SIGNATURE-----