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

Format: 3.0 (quilt)
Source: why3
Binary: why3, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf
Architecture: any all
Version: 1.7.2-2build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/why3
Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git
Testsuite: autopkgtest
Testsuite-Triggers: cvc4, ocaml-native-compilers, spass, z3
Build-Depends: debhelper-compat (= 13), dh-ocaml, autoconf, ocaml, ocaml-findlib, menhir (>= 20200123), libmenhir-ocaml-dev (>= 20200123), libzarith-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libnum-ocaml-dev, libocamlgraph-ocaml-dev (>= 1.8.2), liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev, tex-common
Build-Depends-Indep: python3-sphinx, python3-sphinxcontrib.bibtex, texlive-plain-generic, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-bibtex-extra, tex-gyre, graphviz
Package-List:
 libwhy3-ocaml-dev deb ocaml optional arch=any
 why3 deb math optional arch=any
 why3-doc-html deb math optional arch=all
 why3-doc-pdf deb math optional arch=all
 why3-examples deb math optional arch=all
Checksums-Sha1:
 0d28c008f0427acc38af6a1f371dd85336dcdd55 6321645 why3_1.7.2.orig.tar.bz2
 a306dc8fa7d339e25f1be3b12531d88a6442afc9 18656 why3_1.7.2-2build1.debian.tar.xz
Checksums-Sha256:
 7598d0f8e740ce76a359fc0e6db21f3cf873aebe4fc80ce349d75aa21dd72305 6321645 why3_1.7.2.orig.tar.bz2
 7d49e03c3c29b4accfbab1e36c86a08b350cb5332a1df2efc7ee6194fc46814f 18656 why3_1.7.2-2build1.debian.tar.xz
Files:
 8db707cff5cc897d058011794985395b 6321645 why3_1.7.2.orig.tar.bz2
 f00d769cb0cdf8f16888131e2ce8b7b8 18656 why3_1.7.2-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbbGf8ACgkQLIPbyOm9
DjdLug/+JPNv8n+Ge1Nbl96SJTI8EcgfxKm8tcrvVbi220xaQcu6I7FoG7bOpt4f
hj2J/1jlToGEdrFqb0/WEX1FwUZwy9ygpAHddPD/fbawT7TY7GTzZ87gzjCUBsp5
qPry3ZPo8or1wPr4JlATxX0o1RX33lcFw5/PqepEoJ8FXLH/BtnRLnz7SSYHwcLb
N9wOTLRNVuOoGIoA5+j2Xe68RNdRrVQTfKeUQ1GNUx92BXhUbET/JutKzKdlZ6FF
7RKy+dtjQeANq65DZg4JMFqNh/GFpKxGOuNs6WcEs9H5a1QzTwV86ZWICZXos3ad
mYxD1GEwk48QMf1s2216sqa5vUMnE9Z/bBzkzWmBgeAazVUZ4WhigVWhiR4ojPYg
wqqgbeY/rtmIgztTW2w+h75XnFpxPec4LzmhKRHLaTM4AmnIKPf7mpNakORvndHD
lC4r+I7xumnyiT9AgDlG8ZL5Y8HoPE2scrniCkmxxSuylQBaQ5kpzMpdSU8y1rhe
whhczd/TB33bgZgHOm5h2NkPLbmhendIqXRTG5ki5d6BuqbDBBpnAxTeJv/ykAZt
z9o3xDSBKFNolDfOVCRVd+y40wLTjuWgIijzJR8veUZystvoWBo5ZC/NX7ni0GV8
2Kzd1Swvv7kCjiz8771c2MOXfGaTMNh/OYHJdSbqkbZyI+Avarw=
=FMnc
-----END PGP SIGNATURE-----