-----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-3build1
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
 20edbf5621db1062ce9a452605a56b3ff028f7d7 7096 cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz
Checksums-Sha256:
 458f5a87b00cdd7667dabfada8dcb8460c93db400f11ca9c0b105edcf9370060 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 8f70bb5edf637b80782589837a9f7efaca76468f4a3ec8ab56fb5088d9886a8b 7096 cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz
Files:
 73a3c9062f35408e0eb2d90af7e3cfc4 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 ab227ca3302b5a4e57bc159717b3243d 7096 cryptominisat_5.11.21+dfsg1-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmlyiWkACgkQr8/sjmac
4cJkwg/9GAou7sxuhrwa+K20eF3X0GWm6VES6H3iYWgRjM4d728ei8g+bJwzfbtc
nKmKRfnJ/mv1oyS7oN8Z0MD0Ky+luTa9bxFb3EwPOP315RRJVHPnSxRM3G1a6qoY
xlS0+YaU1/x37sS45QAth2uFi2uwqgyW98v/SBIgHYOcYhiuj4g5SaPGlC08UWkd
1TII5hP2JRFw2LOxtypFnznGMtE4iLqF5uuLwE/7ubygW86icM+b7FM2XRHHPy/K
pR4QN1j1EAnhU88xqwm05XpR09U5P0d1Cj3fhDl4Qg4gE7/wzwJ0qeuU96vMXube
dR49y/pvpAu5V3UzEqVkMFYlbjCC9ZZcBVxBETROLYZ6+C3+9lmqJkm+mJowlYO5
nAx+1kAj+5tC4kpG0TJFh5biquwqUO2FqqbEPbiFf+owvnhZuVELdU0+MFmewD0m
gierXs2gKVorz0tKQY+TnWB9L9ZaeRewe0W2eefKFnWOUEtqnQwUy8UjkecAbJ9u
JY5XaC5MbDlDTEYHPocE3naBgAtdofRSbkKaE8GHQI0qg4cIuDzZFh5Kdj3wwfeG
C2P2b7X3dmqBHKgdg6SWNeEIQ+2WtfAjcuQx9VghGDvtk9sDqrUlM1u4xJv0277C
Kdb4Y7HrNjhV/29fNSe9VegBLpM80+JEZ0I0oH33qgofjzoHUBQ=
=uATK
-----END PGP SIGNATURE-----