-----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-1build4
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.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
 34e8da764dff8a8ca0bf5fd071de9c2837748538 18452 why3_1.6.0-1build4.debian.tar.xz
Checksums-Sha256:
 845bccea41d271a0ad70709ce957b397d091ec115b88a3e84c487b923d19271c 6850062 why3_1.6.0.orig.tar.gz
 accfcd671d274ea3d49a0079cf8fdba5fc78425f26d9204f8126b6b44176b4c8 18452 why3_1.6.0-1build4.debian.tar.xz
Files:
 6b449abe1e485d6f3c12f81c59fc186c 6850062 why3_1.6.0.orig.tar.gz
 2577070e1ab9d9ce84e41b39f6fd2747 18452 why3_1.6.0-1build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXW+XsACgkQ808JdE6f
Xdn+Dw/5Ae9kK+UZL6NvvM1JAnjcOw21t9ith3zHaoib7hvi03e1wjjf+7YcaQFx
UWSD5SoCTHW1z8zGLhaY/OL3wrL5ChAGd60E0uwpf3T7EHjsK8Og4JUy7ChMi/Nb
BxrrhekC5CSw6rPV4QPXgV/vpYZgbgQTc85j3yYUDBWN9tiKELRGP1eAQd8+q1nf
LMWseVKqPmfb1Expr2ohzm5PJkOPL6+NKvU+uSTXjbicWe87pOTCDahBLp6DW+Ii
ulWu4PdrvJ4ovy3Gzb8qI+u7kswV/N7747jIZMcfsdjFL5rH8jub/0sXtg0APicJ
nvju8O1G4g9jc0vWmu+VEQCwOWB8hlwVhCNziwT9peihG6ncM6nOmI48crcy75lQ
UnOMcU4EBoIeBbSmtiEEqxSuT0UpG6CXntr0Rfz6fpx/vNcj+bTq/iV6EVV9Quq5
LSjbIiUi5ve525vc8PxuU7uttvM+MiE2p9+u2mvfPRV7raWqMCXDYVeLaKaj1Xul
WQKnsqZyYiigmP+LHm8M+kkEG1IMR6+JCNZiUMQu77ggbKIabgzdnHl5aI/9HquF
mojZD+FCCxn/AgUhOovt9dPpdZ00NvH55eN9QSrJhdcVb68YX4ASCXdGvDMS5hrw
Py/8J7upR1XrID4TrSDzkEN9RB9gdom787Cb5oZViKwnN7u+rlo=
=U1zy
-----END PGP SIGNATURE-----