-----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-1ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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-options-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
 b150da1ce080d2cf40289fab94023f9951c88df2 20048 cryptominisat_5.6.4+dfsg.1-1ubuntu1.debian.tar.xz
Checksums-Sha256:
 fd798d47680a263634de1a4fe8e9e6abbd85a770c4fb425926e2a352d4f63296 492403 cryptominisat_5.6.4+dfsg.1.orig.tar.gz
 633e976698292dad83511e0780993d5a3d2ae62c1cc09a1d1596677e65c96501 20048 cryptominisat_5.6.4+dfsg.1-1ubuntu1.debian.tar.xz
Files:
 02ae93872c6e0231a4d1b3ea02416af3 492403 cryptominisat_5.6.4+dfsg.1.orig.tar.gz
 ec058eb74292b30b6331604a33a89ee5 20048 cryptominisat_5.6.4+dfsg.1-1ubuntu1.debian.tar.xz
Original-Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>

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

iQFEBAEBCgAuFiEEdzyZ69ChEXIhenw/ysLYuc0spfkFAlvrBKcQHHhub3hAdWJ1
bnR1LmNvbQAKCRDKwti5zSyl+Y6BCACyFRzKkSHNY8+txwJo0Q4ed8MTMaKsUlRP
SKADOE8NkG5YnqB/PZ3MHbjIq+H4xw1zZ+USt2OHg9UIC/Qkyn//YkFrQT4iPvWu
QBhcD/2Q9tZJI1RgnNVM4ZOS+1CqnjlE+Mb9CnYjdfhGycqYSsxhyE6B7MU2FFto
Dm71bo9Wk5QKu8G0PQKURupvxoBg+z55z/fcCnduOlTmPvaTn1sOmNHDRyNqVBss
Hq6d2nLoHfwHYSpaxhccIyNnxg9LHytxGydAGttOUbOTSmQPA5Y9odQKfpyNVpuF
C8BvmgTX5fG/xZxCzmExe1So0dxsa/SvoRssxec7lH+MxrOc438P
=B/nb
-----END PGP SIGNATURE-----