-----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-1build1
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.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
 f9c08d6f6d79b4279d242213b75339c390a61c33 6704 cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz
Checksums-Sha256:
 458f5a87b00cdd7667dabfada8dcb8460c93db400f11ca9c0b105edcf9370060 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 cf45d4f3b3e4588d6e2546aac43313f9f36cc40a17bdaa7d83c681f70b884745 6704 cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz
Files:
 73a3c9062f35408e0eb2d90af7e3cfc4 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz
 5e236f884eac29d3eb80f5f488193488 6704 cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmd3w5UACgkQLIPbyOm9
DjdbVw/6A4CkqS1Q7aj34Qi8GPbkqWowfXHTFWiDFEl8bd/D1a6iRJ/0wXhf1Jft
Hhf4G0KhYHP7d9IgQE7SIbAIw20DlPo9HE9jphr/X+GP+MHRox6yvRuotLl+KRfy
yB8zDDdk5HQes7zVzaOAOi5nyPE9nhA0uXrbmzbDgE/ikoZe1CepmyHwQl/bmavC
CFDp0zwtsmk8jENxHcEtnXospOeyzpqbJY6IclRHGTNuSXQAjztR/Vn/RfMEOQKG
+cOrNBz047jU7VQoE8N6i+SHxtTHusH6JnwYDxoUD7jZc6j3ph/+tDVk72u7LPSj
04Siad2/JVQUAPX2SUDzBbW8SyefiOuM05cLvXkBy7T67mNUJHmYQHfKaJjtzQkP
GcQZDIR7BHDyszjGBESW+GWcQiJv+mwPkfveAaENuUm0I93yMLmPdkuDCZsOhsiT
iaZVwNBEhQS4u4HZY5oNtsHNUTk+kOqRAuuQ68rTc+gj4CeboE52sxgu1K8cXeni
wJGfDlZBEiZi4SFQc9mD8tcj0QwfxQRZ1nUcq3fub03aC7uNQ+aegaNzrl18jt6M
FpkOSKTCRUPBfsnXX6nHD6p/yg8PwxCwFwAyOntZ0PgZy184q0632/AcO/VspEj1
0uv5WY+NZ9LUiGCGySUkOZZobs4wie+bGJ0PemrqdgrVtNv1Hdo=
=aZv2
-----END PGP SIGNATURE-----