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

Format: 3.0 (quilt)
Source: cryptominisat
Binary: libcryptominisat5-5.6, cryptominisat, python3-cryptominisat, libcryptominisat5-dev
Architecture: any
Version: 5.6.4+dfsg.1-1
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Julian Rüth <julian.rueth@fsfe.org>
Homepage: https://www.msoos.org/
Standards-Version: 4.1.5
Vcs-Browser: https://github.com/msoos/cryptominisat
Vcs-Git: https://github.com/msoos/cryptominisat.git
Testsuite: autopkgtest
Build-Depends: cmake, debhelper (>= 10.2.1), dh-python, python3-dev, libboost-program-options1.62-dev, libm4ri-dev, zlib1g-dev
Package-List:
 cryptominisat deb math optional arch=any
 libcryptominisat5-5.6 deb libs optional arch=any
 libcryptominisat5-dev deb libdevel optional arch=any
 python3-cryptominisat deb python optional arch=any
Checksums-Sha1:
 77e6ce504ccf6be79d639f778b176291cf30ddbc 492403 cryptominisat_5.6.4+dfsg.1.orig.tar.gz
 627cdafbd0355bc418eaa8a0a9560d22abb9b5c1 19928 cryptominisat_5.6.4+dfsg.1-1.debian.tar.xz
Checksums-Sha256:
 fd798d47680a263634de1a4fe8e9e6abbd85a770c4fb425926e2a352d4f63296 492403 cryptominisat_5.6.4+dfsg.1.orig.tar.gz
 dca76600c2ffda1a75850c30bb54daa9a662844e8a4ff0d9204ab8b8a52539ab 19928 cryptominisat_5.6.4+dfsg.1-1.debian.tar.xz
Files:
 02ae93872c6e0231a4d1b3ea02416af3 492403 cryptominisat_5.6.4+dfsg.1.orig.tar.gz
 02f9fd551338e510b8c44bac8e318fc2 19928 cryptominisat_5.6.4+dfsg.1-1.debian.tar.xz

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

iHUEARYKAB0WIQReYinNQ9GpZ9TYcRrrH8jaRfspMAUCW4YTBwAKCRDrH8jaRfsp
MNmgAQCqH+G0swGGWHp/V+GTTMuRLCSH+R55ujWg4f7OG8jNAQD+NvjIMf2lavhi
PGqQtyfEh3INcXGwb/Z2fRt9s0mMywc=
=wbl9
-----END PGP SIGNATURE-----