-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: cryptominisat
Binary: libcryptominisat5-5.11t64, cryptominisat, python3-cryptominisat, libcryptominisat5-dev
Architecture: any
Version: 5.11.15+dfsg1-1.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: 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
 a6c100ce4d2a02d77c72d90b3717d62e221f920e 5608 cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz
Checksums-Sha256:
 225ce75c8cda834e4e10c8260b1a0c6e6a836a8249ac293403aa660a35767f65 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
 0d4ef16ec6129ffbdcfcdea20b5990c0dc18f5f4d56f7ddb8574406ac8cc515d 5608 cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz
Files:
 a0c2e04cb58bd97213598d08b146b25c 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
 4852edae230e19dd7b9756bf5bef2107 5608 cryptominisat_5.11.15+dfsg1-1.1.debian.tar.xz

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

iQJIBAEBCAAyFiEEiiBE+E9xaoW3f/djEd9ClMyjmJMFAmXea3gUHG13aHVkc29u
QGRlYmlhbi5vcmcACgkQEd9ClMyjmJPAohAAxZxroN6HveKSn9OBctgGJDywISBM
AxUYOqKWmOoA/6rL2S1u8jjsM7QRilPfG3CT660K0kOTsP/7UoBODHPM+IePG3Ck
5z9L1JYz1gUxVNOwcYdU3brpn4gIghU3WSCCdivrjDXPim76Ys7tNrbqa96ROB0z
xDLHTrRV5LSQlvrl+X7JSAN+emJBHBo9p4XStuJ+WB2AyIc0abBm2DQvd0rWnv6m
kPD3KCUNmxbemy323RH7SeybvH2ZLNkvcwwi/r4Fka5VK9b4bwbESeGiBUSMkJzj
/bBJ+Z00l1+ZP9OGvjGyXs2eYd0bFB5qjnr2aFkSdXhnEKwhsYHelPYPHltszWeV
Y1p1OU244Z//9yToz/98kmauJ5UDrxmlrVhS/zG4k/HGHlij7ZrXrxBve6MiD4wF
d3PgNHWeG6xGtgacwp0JTXqQr3tIZl3JVFU5FLMU6KoY2jWzhha8y9BV+h2BVpHr
BkQ/8zYs4YFn50wWhsn4xXjA+6nUscJfsDg87eKB7R2udAF3gMivzhW0Xa6BxADx
pAdXs5p35j+zz5bkhaznbYQnz8cg0Wu7ws1ERGCGvkxkV+HcfhhIFtdcgv36zRcI
6vrTLVrDMv/B6NqPkjZtIljPW/v6hL1svQ/hmPxUYYmKH5GoyamwUWioMf9PRiSr
VO+POLY8DMw8vyI=
=ueEz
-----END PGP SIGNATURE-----