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

Format: 3.0 (quilt)
Source: cryptominisat
Binary: libcryptominisat5-5.8, cryptominisat, python3-cryptominisat, libcryptominisat5-dev
Architecture: any
Version: 5.8.0+dfsg1-1build2
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.5.0
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, python3-dev, libboost-program-options-dev, libm4ri-dev, zlib1g-dev
Package-List:
 cryptominisat deb math optional arch=any
 libcryptominisat5-5.8 deb libs optional arch=any
 libcryptominisat5-dev deb libdevel optional arch=any
 python3-cryptominisat deb python optional arch=any
Checksums-Sha1:
 4b69f26c3bacbc3a36920176e7f7a54626328fb7 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 6d3fcc618bab211441c28e5b6c97d18f3e02a1df 6296 cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz
Checksums-Sha256:
 1d1658eed6b640cb1886308b516fbc2b91c8a77e0c6f48d609572ade18f42178 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 cf4c960e1105a93474eecb0b11c2b5e0833e7b7ca283db4771008f4da288014b 6296 cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz
Files:
 5b867b1bdeda288f3604bbeb42a6fa15 451304 cryptominisat_5.8.0+dfsg1.orig.tar.xz
 09ae12af3c747d8cc3f40fc79512ea88 6296 cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl/UtOoQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9TXDEADYrof2vM0UZ3/xUjLjJa56TYDgoBUaVmfp
mHdF9baUVRwYyGRRKzSjcyd50R2lCCgrf8PDcgL5aKaX/PREn3Z/d1temmiEpmEp
/Pt0OLLLSXrG7POX2bG7UQqojBzl3rd2EgztTVp2oRo1eJjXkMUm53zeUnyK4EOw
WQrYkqk5lurS0HbepXxTp4PvSqwPE2GDkzUUfBhXab0oyG1fvxiwkECYLJuB419i
1HACiGktgeW2gqT7cWIv4OSlCoz3wWR+s2ESGVf/6h+jOhbx1VA59rhBEkul8Qac
aViz63UvLYoB5bMw57JQlMCI1V7+/Ci0Euka2OvBj5ldOlDlir708IdoFXWdBpJJ
OrNBQkFjhWXunCe/v0S0VdaB4AaEYW9VcKIM4wJtVhI6v70pBtyKhyXvyQ4d2zRW
H+LE+etXNPNVfycif9zUKVYabxWsWPoupyWD0PBT3BuzLqqWEh6syZqTRqokXzsR
mtC2dXWka8kGgjLPr8ZAw2BKsq9G3aryTeWOh6tXxC79XWn8/8tSFxrDxSGyaI1Q
GWgPBic04pm6byKnKv78K2gthE5IHDXMEP50MzLrVXVKDd8FbQFNKQjxjiWhxImf
QfWUU3VmtnGxAp2g7bx614ny9fosNPQkm12yPDDIuNmnIqPW/0Qtiz6j5STYEHgd
ChbjCmWGSA==
=NnRH
-----END PGP SIGNATURE-----