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

Format: 3.0 (quilt)
Source: cryptominisat
Binary: libcryptominisat5-5.11, cryptominisat, python3-cryptominisat, libcryptominisat5-dev
Architecture: any
Version: 5.11.15+dfsg1-1
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.2
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, 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.11 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
 f4ab04ef92418bccf18fe61b8ed4cc4676543f4b 5400 cryptominisat_5.11.15+dfsg1-1.debian.tar.xz
Checksums-Sha256:
 225ce75c8cda834e4e10c8260b1a0c6e6a836a8249ac293403aa660a35767f65 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
 50c513792beb796597b11fc50a333c0e7de17a6dca9991752d417830cdbdc270 5400 cryptominisat_5.11.15+dfsg1-1.debian.tar.xz
Files:
 a0c2e04cb58bd97213598d08b146b25c 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
 d3cdf5925099cea30792590a8f17cb93 5400 cryptominisat_5.11.15+dfsg1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmV6ypISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRjTIP/1l/3j0G4+rgbjpxAe4QVyazhA2qiIUE
5H0D+Ob0TlgXkZlD5IQprTbjRtgnw6SSPaZBSG37E69mIagJ87YBf6OTykpdXjfA
/QkFwzZco5zAF22PB0KCu0+YJUrWgY+gQqNyQAbXg1Ahtb5ondXhMJFU9Ok7RepV
Gakof/cDt1QYl97RiyJVRBYeHGBowbA8adlqYj4kRZIiQxGYEAPk+HzB9jkgRRIL
juv57oE3dGU7R74e4w45OpEDhGkcJxd0XckZsduF1s7sesU/ZQZIm3GzzxAY8XsD
ed2LT/UzzIbnL6wgOjDQAdU7bmFpuYJ5qfCHj5EoX6HBANDeCJmag8iDCMtiydCk
NxEJ7KKU7gl0CL63f5U+TnLsxbw/mmUjbtG5iUrFA0tFhqel7Dmd3tBzqmwzzV2X
n3g8rRoDF0K5nUoQ/02ZAb/rkt9LyvSemMWIO/zUeviAqVUS7by/mLw7dByQSMBC
UD0DBSzwfakI7POyLChIDjQcsXo5i/FzOnmoCmzwnRN+YIcVr30Vp0D876j3kUpZ
CAQ0FW1aBUoUX6MDWvmYpqJBBOgEd8/8rKU7pkWUmrJ22MJ7z3iMK8L12TbgJsMf
N1ROXzmCpSuDSGv1JMj3RVeQJ0ShvYsPE2FfXTOXa4oOKx7QqM4U6Otq5u6nm9At
MhtG5mBPjD06
=i1V0
-----END PGP SIGNATURE-----