-----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.6.0-1build7
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
 d15a9c2369d3ddd1f8981d4b019c0132aaec81ce 18592 why3_1.6.0-1build7.debian.tar.xz
Checksums-Sha256:
 845bccea41d271a0ad70709ce957b397d091ec115b88a3e84c487b923d19271c 6850062 why3_1.6.0.orig.tar.gz
 b3bb67a0f4be3cb1857e33c6c01c387515451faadc47fc15ad1ce62bb60e5ff1 18592 why3_1.6.0-1build7.debian.tar.xz
Files:
 6b449abe1e485d6f3c12f81c59fc186c 6850062 why3_1.6.0.orig.tar.gz
 61ba82982e107f61d540988c9301b362 18592 why3_1.6.0-1build7.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCgAdFiEEoIn7Nqr72tWswTJQafeQFxohCYQFAmYKOsQACgkQafeQFxoh
CYT9Zw/+IsDOVpV1Mre6Ldv33GHmsKtrGBAWwY2FePubV3wikTD2SQzjwLJCihJu
pEPp4k2l+mS0nlzvvV4mtmILPLrmIhLhF9d14BhZ9vcY09dEPZ7Jp6IeTBfssKsg
cCqtr4Z9Xw9yEwIwQQmpJq9X3VjIsamh5dkvYEfDgySBiZAKt9+2Swo7AkshW1to
x+oNAlVrwAn8jCJbEe68jy9KvQYtcs9xTNNTbcWMkm6wRsLBwzveLswXpeEBGUyQ
EZeb8i0SavCxsqeGXJR/rIR/2YDxRs3p/pMZWw0SuuEGjxGHwxdoM6n3i6PdOXtH
jbzPndoiCe9Q/CqZUwGYFJwYJuFvzhhpaFL8spkiwfsnkWb4gRU65+rB+7NJvIMA
H2ucgZZuLWrAoDehzGN1gVgr9StrwrmfDeAkl5H0EwaABH9QDjd8il5rYn0gzC/u
9W0tKGXgDmHvOZNEL8v4saIWIgutu1HBah9VikZL81isaDsKfkKZwd+q8Rofq7px
P8L7MCzYZbuN0QSPCRh7HuQDvgp3Seu2qwHdbQA5l1JDWjOMZjHdymPt03BuSrXI
U1MJpF6c1pPNfJs9wugi7QCMdkGIbVip/lYbnMAcr0YVqufUVDfdTP2yf3opk02w
1xPhhZ2Ze1+oJd20ZOZ7XZ+jwq2s6RkSZLtAUNzaxVkSoL2XMMM=
=PeUG
-----END PGP SIGNATURE-----