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

Format: 3.0 (quilt)
Source: why3
Binary: why3, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf
Architecture: any all
Version: 1.5.1-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/why3
Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo, cvc4, spass, z3
Build-Depends: debhelper-compat (= 13), dh-ocaml, autoconf, ocaml-nox (>= 4.05.5), 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:
 55f6d2e4718154432559b35af133d5303f493b90 6727576 why3_1.5.1.orig.tar.gz
 5e0a75489995c40ef3afc0dbb685884d95f493a4 18464 why3_1.5.1-1.debian.tar.xz
Checksums-Sha256:
 bcd47b59e892be0fbbeb719ca2fa190450df9dc7a424c7aa35e80fe1f570d3a2 6727576 why3_1.5.1.orig.tar.gz
 e38b7845935b9a1076cbf39ce969f8aa9e04773b066f1683af884ac4616807f6 18464 why3_1.5.1-1.debian.tar.xz
Files:
 078eecccf32bb160bcf044938c997dbd 6727576 why3_1.5.1.orig.tar.gz
 0b3031c26bc4b31d63aeee732cc2bc81 18464 why3_1.5.1-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmNQSxkACgkQdFxHZtTK
zf9q9g/8CUSf+tg1hV0wIDefilYZAXxhCP0yHRCkUmoGcqWCzr9yqJ0NF9V6nlof
yiTHVIBoSptK6Ei+3SahEkxgfJkhCVhkyR+uo2CbiHl/NKhyAFTjyUhBgduAId06
UE+OJeLo6249ROaJhcir+5cUr7xM/Nvnc2ds3Kzj9x8//Wl3MHrpXZqX1ZXvhus0
obZ23HE7ir8v5/dkUzXIslm5Q0L5dpGTtqJofqD8Ht+V4tqrvz6tbskneCJ1Kz/p
UatKzlvGu7JH3585yr81kTKFSrgVsKq32WQDPbmeeg13fHC0mGlFg/5BumHyElu0
ccEUBKaZ3H7I6zQzI+C66FMHg8KGg6k/7ljKonGA9tRHqw+QYENZ7GuANQ8tuYxD
C5AEhppHbtof3AJd1FifsthkXEdVi64b+4qj+HotqSdSWDyXhCRY2DCcxymzgdVk
b7ATmN+GxbY0AGYrprEmO0Acu4em/hqLsJ0CReaLJflvtmNQ4mlDOWEc4TZlRic9
9DFDU+kBPEAmZQeXzfJ2adL6QZU19gpgQAMPdTXajIKm6KF+EqKr+iSNdHMoNDz5
bZL7UO3lnHtqocmj9tPYCT11CqjAJYqvgQ1GNcEa6iz1dGQKWS3Dc1/SNNNBKE1k
FueWvv7pYNth87HVY9+jqNDjyhG3OidV5nQQFJvF2nfUnMfjamA=
=a2DE
-----END PGP SIGNATURE-----