-----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.4+dfsg1-3
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.1
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:
 11637bfd57ba312a886817a9717869a34a644f5a 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
 8bf49ef433d42695efebb7b5cd776b3159d6eac8 6748 cryptominisat_5.11.4+dfsg1-3.debian.tar.xz
Checksums-Sha256:
 1e499b5c975055fffe6ea9a9c0209264949fe910c294d7b90a6df9d6e36e783a 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
 9f410b73692e0b530f783c7f4ff66638b09f0401430e1688d7d0736d63ce668e 6748 cryptominisat_5.11.4+dfsg1-3.debian.tar.xz
Files:
 22041d86963e4ed8ae208e8638ecb007 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
 ea61763bfb4aa1189a2561014688cf25 6748 cryptominisat_5.11.4+dfsg1-3.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSxsD4PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iixfYP/1ASGP7bzziKyIn+6Q2tQSfwBkr8o2XS1iKR
y+P9JUK9HDWOtMOUAfOSazMPAAwiXrmk42PI0I1XcCReMLP1oEwIn2KtAq3Xo8IH
bODZvTGvHvOXhgWPqDFMLYMm5hOrOLijFngNVujr4q7ECVQgfph7ilMpwMpfpvKd
hYkCDGgzpoKVg9JPmBMR+xbjwwESTdO1F2XoX0MvhS1K7IP/bwb4dT4jzZs04SmC
PXq1dgqoVQu7RTYI7mWnklEPkbqGX2qjgMDlmqHH3Y3lIahC4ycOAfwOTpITWVrw
XBQESYRNRlqSixU1mkbkK55VVGohlOhpWokOIjeNR914TZHWubU0ha9fas5TqID5
His9vINjBpMklwfqFV9c8TEdwUCQsoMp6OLu0etdj1jIn48tuh7BwO3HAN0f/tV+
CZ1ygj2tN4SGz1CE3CMspX1RhFZoQ6dS8OaZz6JZerXiu0xt+DHYV2U4q+YL9fZP
VxlMI/9i6ayO+ecxQbPde0ymXEsjGzfntHPbRdRRmg5tfa4QYVgOJwbarYzM/RaD
MVQN43fryK6V1DyVebPNHKaKN7ZOQsWlpt7fy8cyj6+0WICIUm3u7q+NWpbj3VkP
46f75JQ6haMjxI+B7ExYqGcjCkmSob6651eBEKN1juxKlDCi6pMx6M8Gyjy6r5/F
4qiMx0so
=jVj2
-----END PGP SIGNATURE-----