-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: cryptominisat
Binary: libcryptominisat5-5.8, cryptominisat, python3-cryptominisat, libcryptominisat5-dev
Architecture: any
Version: 5.8.0+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.0
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, python3-dev, libboost-program-options-dev, libm4ri-dev, zlib1g-dev
Package-List:
 cryptominisat deb math optional arch=any
 libcryptominisat5-5.8 deb libs optional arch=any
 libcryptominisat5-dev deb libdevel optional arch=any
 python3-cryptominisat deb python optional arch=any
Checksums-Sha1:
 4b69f26c3bacbc3a36920176e7f7a54626328fb7 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 7d741c4dbe968dd52427c310142d9ed570f0eea2 6264 cryptominisat_5.8.0+dfsg1-2.debian.tar.xz
Checksums-Sha256:
 1d1658eed6b640cb1886308b516fbc2b91c8a77e0c6f48d609572ade18f42178 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 cc55a518449703e3d2695cc59a3fcaeb4cf908aa73d207596800843c1d0be69a 6264 cryptominisat_5.8.0+dfsg1-2.debian.tar.xz
Files:
 5b867b1bdeda288f3604bbeb42a6fa15 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 51986ea3ab347f952c9450418e4aa869 6264 cryptominisat_5.8.0+dfsg1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIU4p8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR9kQP/2m17a8AjKXHhRKj7HpwBmYM0ufAdEJ4
H57hAGWEt3kt4PxQHO3nhy+jMl8AZ/cfHpZdMy3ZdpoplUth/aMBpYw/r2poYv+7
2h1i0QN2jxf1XBcs66m7tfil6Gx8JnApZTEdHhflIXIlncpi6Se9RbN5Jhe5G0sj
TTJT99sW6rAjZ/ewbCBAScK2mwKK3dkQohseSuTqs+g9O5LhK6qsF2E/iS57W+o+
m78Cozhpcud3zPCK7yG8E0g12wnJTpkTkEDHS2yBvbtir9ReDjk9oOjcDh/uiL1g
ByQ4BPn5aD+w3SAI/0F/90+GwRjrNeUGmdumBSfitm0H/W5JmMhDtV9PhLbY3NEP
I35cmCbF19KcmgZI58A3YTWGVXw4DK+2TlxKvaIjQZGxxwYfv+Aq3QsZg4+1z+/Y
RskVl9DJKhHXVRBpU8hyHwC4AaZ92vtVJAfgIS8Jv0sG0/gz/7Tax8CPymHZivbA
TbDJqI0+561MID54zgzICbl0he/U0MmIyTbm+8AxE8gi0qGV2SN9S9ON65KY6523
XEUalKaPJRSp9/7mE8N1Kon0aw26ZxqLX+mJjSKNoxPzR48uUwpv5lpP1yGpNqZe
jz6Bgt4Gp8TD0D824FBMLcmoz2AIe2vV7lNzY9qF5Ep1xgLlO3B5HWwLAX8+O9sQ
mogrqJdRPGGf
=kEsL
-----END PGP SIGNATURE-----