-----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.15+dfsg1-1.1~exp1
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.2
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.11t64 deb libs optional arch=any
 libcryptominisat5-dev deb libdevel optional arch=any
 python3-cryptominisat deb python optional arch=any
Checksums-Sha1:
 7f4424602f6f9d7dee67063d57d569944df6449c 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
 99f45d37c1b94cb5593b77439993b50be6c3d82e 5604 cryptominisat_5.11.15+dfsg1-1.1~exp1.debian.tar.xz
Checksums-Sha256:
 225ce75c8cda834e4e10c8260b1a0c6e6a836a8249ac293403aa660a35767f65 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
 d149219ba757841feb74d91764dc7d126f0892706f239b2a35779efceb81fc8a 5604 cryptominisat_5.11.15+dfsg1-1.1~exp1.debian.tar.xz
Files:
 a0c2e04cb58bd97213598d08b146b25c 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
 3f4b780dad8835a2d68f2a6fe813c7b6 5604 cryptominisat_5.11.15+dfsg1-1.1~exp1.debian.tar.xz

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

iQJIBAEBCgAyFiEEiiBE+E9xaoW3f/djEd9ClMyjmJMFAmW4yQ8UHG13aHVkc29u
QGRlYmlhbi5vcmcACgkQEd9ClMyjmJNqSRAA1Gby/6vrzkvQRjVEnewW9oqHH+3N
sip1YzePoZau/1nKmb1zJCvMAwuM0lqvLirqEeqNYo+soaAFSXdiha9zUMh0+dSF
duYwUm0tszro1wacaJhxquxZAX5In+RdHUpZPeM3eIe8uq4azfcQnG1e3FiEe7bQ
CcEwgHZ+2sIyB0BgZBtCFJ/dSofveNxE3lJzy2NQUm/S23Ft1uYS3ggH8zPp0KLu
HbJrO+hkJQtobcFa0VS4vF5pgvQVmCksiDl/hCOMJOxe8Uh40pSpvAtOB5Ql5zz0
VmJqbMkNUZ3/Py/TrZF+sFVY5C4kyKB24fx/0LVi+yqNAw1bbP/jqroqWR/L/NMS
EpwlEasEEJrG62Tp5pY5TUvpXxIWgwrSiKrHSnhPSYbItFaVXGntFXfqUw4AorxS
JJ2BPViQQL/wHtwYcqvJ+2uzlJX0hDSBivY1tY7dNwyLG6pMdPNtp59n52O8F4ZE
Bg726rlzbOlgrvEA+wRj3WMq+X1z9V3XWtAr6rhnOQWUhRCxGoiGBPC8pLVzQ/HO
YZSpW7qJRyGORnjegiPfGXaekhye7DY1vQDdwh8jjWjtsNnrENZAMGGFfyPSyDOD
nWCYodQUjquBIRmcD0T/iIIfyDP+38fXHMpNwFyIRS17gE7seZ3QrS9/Eo9YaXHQ
OY8q1My/YG2rEfE=
=4Hp5
-----END PGP SIGNATURE-----