-----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-1
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
 139096d34d84cc51cca0c8fc5505d416144c8205 5276 cryptominisat_5.11.4+dfsg1-1.debian.tar.xz
Checksums-Sha256:
 1e499b5c975055fffe6ea9a9c0209264949fe910c294d7b90a6df9d6e36e783a 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
 396c43a88c4e69fab08e7498fefad8136136d374a818b8dbb89a63e15a95a678 5276 cryptominisat_5.11.4+dfsg1-1.debian.tar.xz
Files:
 22041d86963e4ed8ae208e8638ecb007 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
 c7b0dc835d61dbed68bcb5ed3e2ff9c9 5276 cryptominisat_5.11.4+dfsg1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNcFnESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRBBUP/irQydDbiD2pNcyz8wfJX4NdLgT2ti0T
Wtk9GEq1s3ifSivO9xMIiMsz9vKUf7x79U7mGufvJ+/kiDZQFU2KV/e6Meox5FqA
h9yGKw0T8zUO230uevrvvxp8Vd1zY5l+Qtn1XQ4YMatFGrG51VTzMXi3cCq/gRiF
Oxl6g8uuCX77fnMuZ9GjBRfEdxgS2whSmK9DIZsm4FQaPZUJiDlm17ukfJ2rfxRe
G6GYwXh0ZmDbvfb+/YY4HKbgf8o9TVfiDaIkok3WnsnZsorUwoJYunUwpSuXpEwk
Cw/7BJLy8vgnfJVvyvDQqo2abbO5nBg0rv/SS5CWo67w9pksHXSCH0hH8Z9Lfcmm
c4UvrhpLcMwu4WuOFcyn03nqoLrsaBndgOjSGcZ/SAHXfy5Vki6xllOaD8SRJmXC
vrSbwWp0m+kgrR6ET3qnawBo+rmvcP7r8/qhFb2Qpo/FCmBqwrVDgF4sY8bK2G/F
WdnxFJLI1ARV4xFLXdqcfznirZ30/MONdw5LAaEkAWdS2cXIDfoG0WVl9uZOyrh+
uNev2ZoWhMfxpadmYQYxxLmHNF4Yqd8om2NfoR1iPCDDlUumPllCJgvXjuZhciq+
Ch4ESpDXZ1rW6pSEp1wv/GV8gABk+/cJ0Kk4CWtBbCbZl9L90CYf0J7HT6Y+COYQ
MEIuDRNPtem1
=1kAF
-----END PGP SIGNATURE-----