-----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.6.0-1build8
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 4.6.2
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, 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:
 1f8f40b4ede2bb1aff5386cba0c6a0bfc11a4092 6850062 why3_1.6.0.orig.tar.gz
 e80d8990cde6f5575a207b17b8a98fde7d5c3b13 18608 why3_1.6.0-1build8.debian.tar.xz
Checksums-Sha256:
 845bccea41d271a0ad70709ce957b397d091ec115b88a3e84c487b923d19271c 6850062 why3_1.6.0.orig.tar.gz
 040771737b726e2d38b4073771e579d4a91bec054beeecbce8d978dbb81b7b20 18608 why3_1.6.0-1build8.debian.tar.xz
Files:
 6b449abe1e485d6f3c12f81c59fc186c 6850062 why3_1.6.0.orig.tar.gz
 b08856180df22d446bee8d733ff2baad 18608 why3_1.6.0-1build8.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmaSIxAACgkQ808JdE6f
XdnpoxAAgnb1yWV9gG4ikps+3zmp3/YcBfN3jiuMgX7AMgT2mBUvE/vOb6uEdqqX
AMoRtGTziIsgxKiTQvzoe9hp+x0aZH72gOwtusCZUFtqHCwdubfbvssJ8ydfMfEv
v6fvDRHCQxf/7oxs8WGOzo96FRP3iV0kado4qZEkmcIV0bdh6rrFAAUTgGTH2rf/
MLC3NxLTuLUkcvr7/egP4OSqrTZ2dyxpQHcigNEbluYVq87N2k/Xs3DW1BW1sgt5
QVxrRdVrKMm7s+umxz1cyJW0tPx1cxy08BDWDMFMyC5aDGJUEN9TBd27oaHGFgSx
pqB3S6DOeEK6+pmbNCYd4COOZnThz2kNdU7faRvYHrKR43CM3M6ksFNM9Gx8mxk8
a+SwY9K5eY5OrOKuQeVQfSAzzUwedKToRt0URCphQrDTsDsj3zX42jNimn8p+gzx
P8eHLjH92iNzJp9ugdG07w9EpJ828Ftom60EdzmsMa3I/+ik4rOnCEkM638vafdl
I+Z3NadYv+DjmiwCw+LqUjXLmwujnL1Z47XUWlmeoZIkEZzppmpDaL/SKfJWBQ72
rttvQN7AzwQAAvrebCcOPOKifjvl3JkJRcieF91PVSARY0QeFGI7HXWt5MdEit8X
r9i9a9Z3yyGs931cjNfmyWZYvXAL5Nmgh/cPSnUkSWPMjA782Do=
=I3Vz
-----END PGP SIGNATURE-----