-----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.0-3
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
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:
 991eb730b6a62d76e547b4f3deb3550f80054107 6637327 why3_1.8.0.orig.tar.bz2
 82b43342223c2749db62862e9ca0188a2a3bf37c 18964 why3_1.8.0-3.debian.tar.xz
Checksums-Sha256:
 5e0cad35f0e6f5adfb827f82365aafdb1f272708b43555b01d1bb234734d7188 6637327 why3_1.8.0.orig.tar.bz2
 d38c206ff81362b84182ac2913ffa805276de55238f31a09aaa939ec5c94df17 18964 why3_1.8.0-3.debian.tar.xz
Files:
 d5c98e52d55fd6341b19d2e225c779c4 6637327 why3_1.8.0.orig.tar.bz2
 046cdf0ae858ae1400882dc7c18f6321 18964 why3_1.8.0-3.debian.tar.xz

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

iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmgFJxsACgkQdFxHZtTK
zf+4Mw//WuDJFHdXs4lc2Na9hTB/W9+TUaSIDrTtgfGjuZT6wlm9vdewzUGaXyI+
h1IOnHLG945wKm16cBYB8gbc9kRSSXGEJ7upm5g2v2pQptXeVc4OVA59nqBu5D1O
woCI8Z1PHdmBp/Apl9woFTjdKTz+OQ6Kp4SHq2QdTn+LJzsZCdxtgHmdTICUDd3z
/xpRdsFM5ViObBgtEZ+3mNv9lSyvL4J12gOgKX8OZTvYuTzMJm2zNGtNQTeh/ycU
m2WlnbZ8ZOxCvOtFNWmdSzk4QytDUulUhKH7/BXpms8ySSKtaZHEm/n1E/6+Xyrt
WmK8KvARz0Y+YDuwyPrKhhXdbTQVSMgZuyaGpYbOvIKXoPKb0m0OMon81Xk1X5Kv
qTXud6JbNeLdymDq00Ln0QjNHx+BqF8C4rRTOd+nAPcykgS4cl6gkDlTGvGR5T3v
kxo7whKyM+DvbaQYK6kGWDXNzwP20+jxY6cSbiZ2juOnotqmEeMZvga+6KKdIQYr
7sfKHA5MLDAXnOL23TOvkOPv/FiVrADuShzCMwnbaWEKBtq9lY7nW6xSGY7Gd6Zl
MSfRk/Ka7HTN7nD8ExWbqznOuxsjgEVwSyN4skfB0IdxahaD2+1Mu/hn8WBgPu1v
5wj8Sm7KM0cKn20kEuUccFHXtog99m9x5EgnqmuKoCMM7gl+rOg=
=EJYj
-----END PGP SIGNATURE-----