-----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.15+dfsg1-1build2
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.11 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
 55eabb7c0790385c6070fb1c753bee1b29e1aff4 5508 cryptominisat_5.11.15+dfsg1-1build2.debian.tar.xz
Checksums-Sha256:
 225ce75c8cda834e4e10c8260b1a0c6e6a836a8249ac293403aa660a35767f65 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
 f148ca61ae13988a21fec8aa12a0e7733f39005e3d0d342eb2051d567ff0010a 5508 cryptominisat_5.11.15+dfsg1-1build2.debian.tar.xz
Files:
 a0c2e04cb58bd97213598d08b146b25c 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
 cbc743c6e5ae9c00f25acf559742526f 5508 cryptominisat_5.11.15+dfsg1-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmWqyaYACgkQr8/sjmac
4cL0/Q//YDXmFIoWuZldHw3DNqrxUbdqBYio2DReKdX/l1/XEXZJX2sWBe0wt7if
37uWB9HeuM9xGJzuKPrm7YI0VnHsBXPti8fwlCq7EG2xnhUs5AhbDSe5JexC6LID
caogoQGCL6i0LR3efFgEMsFKx2em7WVp+IFCkhwcjicvqGgf69sL2Y4BTRewioyj
aMtG90sJ5OUTR/vwEiiq5OWzUK9X/4c5PLgcv2thN0OC0VrLhIhNzG6PGgcqNVk1
UPVIA7H4xz+IclAyfTT6aUvAmX+ypKDQESdq8JMWdQV10J9cXMM5H73qVxNYPhHm
TKc0JHU6Zylw424D+rnMAD13ebcUuhv5TamYf5kUY3KtKtbZmeZ0D5zw/QwIv4iH
7EYgLm5sMM8ggWAY4KMu7ejo7IxUh1j+aL8jC7w86MX8o3Bd3A9yXlxUIKDGHNbL
1gzSmAY4YFm3lDcrPbDVuTle9bkEB88IeeIfBlPKhmJZf9cYyDrSth8w0eO3oKKk
xixLnIqdGILLI7jPh7t+1mYNY1qlnmROBo5gyeNuQhxWh3v3hZmVzQwS/Do/wkVd
K/bxHRJlJGXmHhDQE4hk5NUJiWig4Ha+VuxTBXl/B3LV79M9wiTkS9JmRiPKRaQr
HatWipv+lNicToKDnkOPAIiQwuKjF1IdiiJw0CUVcj5CNm7N41Q=
=1+sf
-----END PGP SIGNATURE-----