-----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.0-1build1
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.0
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:
 492289d5e975b48a5cf3949265e29358191ffe95 6723500 why3_1.5.0.orig.tar.gz
 3f9edcb8199e1d47e0f290638564bfa73eb43b67 18388 why3_1.5.0-1build1.debian.tar.xz
Checksums-Sha256:
 1962b647e66bf4cdb457883d9d3c0ad0c421fef794589740ece355ec6f225062 6723500 why3_1.5.0.orig.tar.gz
 412d42e21fab3f96abb6e6f030dea49bf800f7093e76b670ff60bdea6952c3b3 18388 why3_1.5.0-1build1.debian.tar.xz
Files:
 fbe909444b17611ddcc8ce8b8288006b 6723500 why3_1.5.0.orig.tar.gz
 474024058cd956097697f9f766b1e387 18388 why3_1.5.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmJ/PRoACgkQ808JdE6f
XdnDmQ//WxpCzYwQHGvOeswEEHoKxJT4Bxq0vSxqxfTYIR20etSFydT92rP6475D
uxEgWzFXD+xltYGQw9T3eR0SBwdK6/o70dlm2XJGbagV3qbSl/KN8ocQUxhFJUUG
6FBCC3rj38xfWHrFyNJjZlrU5y5xpVZXrFH0RAdX2A9nMuS1UIwOFIsoVJeWNct9
wY9TL3iBg0fqKyXqaY6nbBcFN7jkzTKkQDST8I5P/ULLm66U9kKrwRn2t7qYFouZ
RiCdmwMAwRPcl/LHQ51RqF2c8A2b/td2dUfh1Ii3RFMiT/iaVBcelcBIsgL4WycT
WZI1wzuXQYNC/vlDHmS0UHMZooJgI9fF25SO4lGs96j+zHlvP9IXAAcSxePBFsdT
Pq6MfJeqYDJXVhUcM77LFcERuw/3e3eXI84C2Dowx3ID7cCtwYF8DPruHn8Vhw3B
waS6Tg1NZ0ZqYrPOf6Y4lCYh0Y4HUDY6n6bXgfodzouTcZWakE4kAwXHcbVWhKPa
iExbAw2oL12tc6xOkKRt0k19YXPwbUSXtLZGY7U/XBitB2eJtGi5sun4flyBMOZD
hWPgngnZtpMT2a9/RG4BYSOeF4XPbYpi4XY5+SAyd0Cjf469i7vwkXi8Uq/U9yVw
S9p3SHzsqlXmfgE/yWWZmnZ14uGPQpl+PWJ3PjMQv+FQ7VOgm14=
=HboX
-----END PGP SIGNATURE-----