-----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-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.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
 e43428e5e87b9649e211efe3959954d9001c2e74 18340 why3_1.5.0-1.debian.tar.xz
Checksums-Sha256:
 1962b647e66bf4cdb457883d9d3c0ad0c421fef794589740ece355ec6f225062 6723500 why3_1.5.0.orig.tar.gz
 01676bd0eebf2b7808f316cc0ba61e2a373aba690de8db4a8127bc8cd512fa07 18340 why3_1.5.0-1.debian.tar.xz
Files:
 fbe909444b17611ddcc8ce8b8288006b 6723500 why3_1.5.0.orig.tar.gz
 a6e6baa28613229571576d3ea1d9f1db 18340 why3_1.5.0-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmJw5PIACgkQdFxHZtTK
zf9QERAAjcSHUlqTJLt18OZI5ZRgdYikY3I2uwngbrPcC5vhGWaXPe83xuSGwESG
doqKl40lrFjs0wRvv07F1vkL9NY/wPvYqSboLQxCIEY+NTLp8R47X9egUodIoAia
+eFSU6vNdHLF0vLlqsf7D1Q4JdVCY12h5PkChr7nWs85wtnLIRgljAEnczf+qW3m
R+qm8woVwXV/QqmTeHo9YFFXcCuhShl3UcGIegHcFDCzRzGu91hGY8VQNKwcjcQs
53uAAmdrRpP3NazTIN+X/IvMDNMIJBi0+fYbeCBQM/EZT5SLmUDd4a6VXqs8Ek+W
NW05tbcpHz56mbgslbu8WeEpSl+RvhaANLWtwpp7AiVv4mjEy0PfArJYnlNfTZKJ
Wr5nmjszlXI6w10vimc/sFrj0GAs3KNJrfXSDapsSQcTLC2wOIVltf1WS9x/yhsE
bvBcoIY8gocE2wqyf/m51rYkcPkWpIt+Xojl2aBKkQ2ibGzcFtUsjchiCprylA1g
Xi3aJx6XojKlYRYbP+nSH3gwfUstmIu67uI4VeQmsLi39SKmX9LC0KMNlNMvcqPf
x4WQ6SFRgtDKUIoBnR7aLHOG5DxP22lkr2ROKXg26oLtAoBG4hLNpXRwDGbbRM38
OLbB0ZBLTYEdQPvb33XGD3pOCVzCitMPfEVieT9cenduFr/imWs=
=epfD
-----END PGP SIGNATURE-----