-----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.8.2-3build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: https://www.why3.org/
Standards-Version: 4.7.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/why3
Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git
Testsuite: autopkgtest
Testsuite-Triggers: cvc4, cvc5, 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-tools
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:
 e143f14cbe31f0603cfa512ede2d38b2b29a85e6 6644926 why3_1.8.2.orig.tar.bz2
 663623f76ea036b29486a340587fb441f1b58e53 19692 why3_1.8.2-3build3.debian.tar.xz
Checksums-Sha256:
 1ccb8e6d75632606842987b08b00cbc13d512a3dba9eab06ff420ad3bae1d111 6644926 why3_1.8.2.orig.tar.bz2
 2af91c0c65d69b64a24267b8dd63a9ea6bf8858de5275d6eb3d0b643be570d6c 19692 why3_1.8.2-3build3.debian.tar.xz
Files:
 0a89fc6956ad76a4af1a4763c24af107 6644926 why3_1.8.2.orig.tar.bz2
 ec36ec503267a2059ed70d5ef59b5c5f 19692 why3_1.8.2-3build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpXW88ACgkQ808JdE6f
Xdlfbw/9HwDqcf5r7o10MZXiMWEWXjYLf9b2aUBaJpRqUtXE6dC8sg5huX9xxqtu
ei0fQ9R1MkC16qzFHCOwyJuV0LaRaU7S8bxOjecl3GxGSmRfjSKfD7j5R98KhLXH
KTMRjwZxHiWaL5gTzytpqw0wxpWQ/haywM9rg98c5ZtNFa/8HF6k/Tcxe3AsjF5w
azLFCgPvHmvxQ1td65FjNzdZoZBgl52bmePa5KqxSfQsc/62h4lMaQH/EWGEkVIl
ItfccMWs0GNg62gD8wEIoN5lUIY4HL5K29Z6n5noZM9nzJIVUAoVOTxbA7d941pv
2a9MfeFvF8pLye5c2xBW7jNvmV8nw/mkBeyQxp1B+YjwhFeWuVrDzMvR2x9GPdbP
05D4uftkGEP2sIF/s3YfWXUMsvrDVy9swyhaDqoUD0fxYWjDvP+kFNoyPpDpF+vg
DFbIIfXnNm+fA40NN6GRf6vbA67M4TrNdXgva9FOW4qo7OSM1Pr/KNSV9eXTNVjz
0WdMCpgqrSYILguw8v3N3LE1a/NQPAruH0Pr0de1AOVZuiHqas0FY9YDPDzkTThB
FBym+2mA+NQVvo/IU81WFqk9u73pfSkYEVzYFHUgJZWQjTUMjFS5NFbnwyqQVIz/
+orFJ3rnIlzwboWwUe4WaVBlVN3O+DSKJb8hwFt+hGWreDLOzm8=
=DdkJ
-----END PGP SIGNATURE-----