-----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.21+dfsg1-3 Maintainer: Debian Science Maintainers Uploaders: Julian RĂ¼th , Julien Puydt Homepage: https://www.msoos.org/ Standards-Version: 4.7.0 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: 3f81cb82733b315d46ad39b252ed872eef319068 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz 4d91fef67e4f3a362a2c395dcf182cf32d0ecfbd 7020 cryptominisat_5.11.21+dfsg1-3.debian.tar.xz Checksums-Sha256: 458f5a87b00cdd7667dabfada8dcb8460c93db400f11ca9c0b105edcf9370060 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz 7e3fa379078ee12b9cf5fe11312ce3432ab0d5fba93c2803199014f6bfed17f1 7020 cryptominisat_5.11.21+dfsg1-3.debian.tar.xz Files: 73a3c9062f35408e0eb2d90af7e3cfc4 481480 cryptominisat_5.11.21+dfsg1.orig.tar.xz 718597bcbf42e564dc807c39b395ba9b 7020 cryptominisat_5.11.21+dfsg1-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJFBAEBCgAvFiEEj23hBDd/OxHnQXSHMfMURUShdBoFAmicKCgRHHRjaGV0QGRl Ymlhbi5vcmcACgkQMfMURUShdBobfQ/+IROK04PPJ/2Oaa9yNev6BcNHQfGp6mle /rTdDWH9ybHltIxhYnAkcmw/i6Ar5hsYhK+oNi07Zs5C35fHcvOx7u7Ow6dp+JlE ax1j7u5ezEcN57uJT3JjsaZS2QLvu+VbOJ4VTmDVZ6lGW31PVw9I9auxs8OmhoLk cWg/DGPh5eZglGyCEGfISDp7HtA88ys/vplYvePEQsCeExdrsfMNUoYgfXNpbamU /Bme0W3pxk5bzsuNavcif1AFJiIdmti8iOe3B+z9HNd0t+DYcftkQe5tOiZiaC+v fz/4y7MytlqCT4MBaX1AUdBYULx827InYhsXR2jwJELgqsceiMIwfWRZhNznF+Qp /ZJ6PqdHJ39U5ncja58Cf9zEFJ/pgKhGb59ho+8EFpXGZF08QgAEsjvQGOII/0lw JcNU9HofY5yLWUW7NQamNEH32XoUPXFSRg9D6ueXQJF9EsXGMvNU7+iEWkbWexGs Wg9FdhvYtdvYqKOk1jOi5HFXIkbal4HpBjKf8lQUBwOctysdCi+9KVm0SnPCQqVF 2+S5YB9zdlKuYR2d50qr81R95IcGTW5d1hvKJBGRpdqAoiaqjS7igfKgUPeGMoqu NooBBDDLzz3qe52wbCnN4804MP3W3B2Ga8nzGyeFPblIot3HDuESNnFyWZ1qrG2t +s/K+xJWQe0= =6kIy -----END PGP SIGNATURE-----