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

Format: 3.0 (quilt)
Source: cryptominisat
Binary: libcryptominisat5-5.11t64, cryptominisat, python3-cryptominisat, libcryptominisat5-dev
Architecture: any
Version: 5.11.15+dfsg1-1.1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julian Rüth <julian.rueth@fsfe.org>, Julien Puydt <jpuydt@debian.org>
Homepage: https://www.msoos.org/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/science-team/cryptominisat
Vcs-Git: https://salsa.debian.org/science-team/cryptominisat.git
Testsuite: autopkgtest
Build-Depends: dpkg-dev (>= 1.22.5), 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.11t64 deb libs optional arch=any
 libcryptominisat5-dev deb libdevel optional arch=any
 python3-cryptominisat deb python optional arch=any
Checksums-Sha1:
 7f4424602f6f9d7dee67063d57d569944df6449c 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
 63e7f4e4506d1c07dc9a3245187c44326098a29a 5720 cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz
Checksums-Sha256:
 225ce75c8cda834e4e10c8260b1a0c6e6a836a8249ac293403aa660a35767f65 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
 94e855ff11f3989f3d6d5fe58e639a5444b4d4a65c933a02626e1edb92bb8434 5720 cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz
Files:
 a0c2e04cb58bd97213598d08b146b25c 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
 22ff1e53d46f48be6e3aafc164a6ca88 5720 cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz
Original-Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYJpAsaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0++BAAq/5tUHjpNuVLPhxzn4Dr
5RFf7bCiTFtDu/8bsYJ87ENDSfuJ5dSGxxV7wvMzErVROmby2Q2J83uD10EuWZSe
MMzatSMhPi0xtLLMcmKXVddUnsaeXFgjCcercq9Lt0VOlwHakREQJau+/Mxahlv6
LZTdmJEa0BZMiS0jqZ48rviD1O1TOzbuM10MgWSPQHl7lw4CvmVRnASB8ozcoehp
GpN0wjR5pd0K3rTj390nnZ5QBJydxKHRvmiqI7pGQ9//pYXfaloElpiZWEyedh1w
zZlKyl39KDYPJVkxKfpQiTVhi+0duU1ErOZNESKTXZESDBV3cNw+qlG6UghbVg55
Y4fpPQxR6fguyuM6u6GjFUWYW92aRY37Zfe8bBbOi+GAdSjInwPjmVCvY03Mku4K
48/S3YG2Q70p8tNaiWJmjvjFfnv5emDcZCcpRBePAZa5QE+Gzds9wwD8gW3qqQQ7
AH+kKO/TQsKNI9ZQv+le8GaJXUfVwL1nMg6GlclCrpCDF+NFWbBsKgh3pWoVdde9
jpZs5LG4hSx+g6TSR7keP5MVwSFmvz6i7veWGn5gW2mUDU5ky1mhaWyCfiBFGBTv
KGA3MEifg+iKB3KHP29LBQQwOaASGdnpIWrpixxY2U1Zf6Ub2fQt59N8pARCqMNq
UqdG3lig0o/GcZh/sKcq2aw=
=jJ8V
-----END PGP SIGNATURE-----