-----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-2
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
 e012ea32b6086924e7701600278411645e20d04c 5360 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
Checksums-Sha256:
 1e499b5c975055fffe6ea9a9c0209264949fe910c294d7b90a6df9d6e36e783a 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
 31f352b63ee43614c287171fc67798070749845001df61e76ce5a7ab484cee15 5360 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
Files:
 22041d86963e4ed8ae208e8638ecb007 530220 cryptominisat_5.11.4+dfsg1.orig.tar.xz
 0a7b8fa19d2009619cf55115676a9f53 5360 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmNkD4IPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3ii9VIP/3yDZXL231HWhObJMsJfSO/nLVW6flM4bClG
F4OfYYX2tHvyCcR7ZyriYPgLBhZnSiFyPM5FUApmx3rhMDomgV4ls0biTP1gPeY5
NJSSnfqp8JyMp6J5VV59jeEcrnfbbI5kiL57ppzalfV5Qpq1if3wfYQib9C2bOLx
k0xUfqNw+bqntor1UwAbz0IxaOp0Xj8+WFMxnCVcyzV7b6IHT8+HIJrgIYsqjBFe
o9Cfo3xBJ+5miPERqg3MLuz1c68XFzYocmGtwZkHQs7T8tGwrqVEaA4eJ/uHCQcq
/YxbwLEPFMtrBf+d/j8NJiX3onu7ySFcEHEOC/eBUOwHhIpkIPfqLTBw3p8zepgN
6hKDGEE692p7aLSeIHea4u2tUrYJXJGOx5myZMilL+CKsKxqs6w2m8KXDzAKqRVh
0C/qd9n9JeVFzslmDHOHxtL5Xo7pbJWS99/ZVuiGYiwnTdy5TnAFWozK5Ex3FL6I
CIcQ8qJPQxpCmkM+QsdxyCycnsS6UB7f+k5EDUxo7zHEehsRrjKouDrqNex5fgLc
g3bT+2kd/JSLbmgQEKOU8qgkGRwlaY3V/hrtN8RELN6OF/sXWFrcrX2dpzbhOBK6
elXOLpXMbwSXHcchxrzhX+5BJzsCBDJdXi28MNIbu8ormgrCKWned9KkibNqWYkC
eAra473W
=NgwI
-----END PGP SIGNATURE-----