-----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-2
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, python3-toml, 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
 87b674d55c7f366dee5d7c75b781fe673bc0633b 6696 cryptominisat_5.11.21+dfsg1-2.debian.tar.xz
Checksums-Sha256:
 458f5a87b00cdd7667dabfada8dcb8460c93db400f11ca9c0b105edcf9370060 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 1a0dbcd285d0561ac53acdd000b7c6d7d12ae85d10073ed87e2319894e9e8d3f 6696 cryptominisat_5.11.21+dfsg1-2.debian.tar.xz
Files:
 73a3c9062f35408e0eb2d90af7e3cfc4 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 7120f9bf837ea50fd7322ecec991cf53 6696 cryptominisat_5.11.21+dfsg1-2.debian.tar.xz

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

iQJFBAEBCgAvFiEEj23hBDd/OxHnQXSHMfMURUShdBoFAmgyS0ARHHRjaGV0QGRl
Ymlhbi5vcmcACgkQMfMURUShdBovCw//UHgQOONJJFCOO9FZ/8KKsGG51+k9Y86b
elJfBT6t9K08GWYPO8m/xjaXNu7Rg3zqQINhl8k/mC/RQxBQa7R5Q1Z/Y0UGKgOW
/QW/c9uqUyTB02sIIXGbKnQGo/chwH+6yLK6qEBO40yM4oT/UrUiwH0Uque1rMGx
Qm/iROst/N5TLwpvqGcJQPgaE46OrR2LzvDSKC0a8X6p8jWexy8pjOkN0huB2p2J
HZU449AkMrVnU/mbxlt6q7qMgZVIo7MRq3R34KFwNS3mp40lHbBVDfpPPF5sQKr8
rOfpaphJmMfDwJY2pRGWmCMkK++rkgXychJIgBqoGRcjm9mNh4WKRF7ugpB8UFnP
RlEY7Vmxw0Oa9Kc4HNCjtwwnkQL1sAkA6GevEjdSO+UErT4D0lNs42A0f68aDkB3
3pTq/1n1BHiRJeDXnaBGqb3PWJPJ3rg7m8YuvpO73x0SiufDZ/UmAKm8GBHSV8cl
aZm+VUmf9uCl564BGEAKY9Q1XqGE01QuYYWG7ptnV3sMCLZOiBWpvKm0OOYdzubs
BzEmYVqOft6za1h+Ov+IBsno9mDnTJili0V9Bfyu2hGQ5iV4iBBk8M3MXvRQch0H
VpxvN238E3hyceKTAUo3DAZszIO47onNjXVoHY0467iWCMd6Ai98gQE/Fmj2O6hM
HzES0IAtXbw=
=QJGe
-----END PGP SIGNATURE-----