-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: why3
Binary: why3, why3-coq, libwhy3-ocaml-dev, why3-examples, why3-doc-html, why3-doc-pdf
Architecture: any all
Version: 0.88.3-1ubuntu4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 4.1.3
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/why3.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/why3.git
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo, coq, cvc3, cvc4, spass, z3
Build-Depends: debhelper (>= 11), dh-ocaml, ocaml-nox (>= 3.11.2), menhir, libmenhir-ocaml-dev, libzarith-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtksourceview2-ocaml-dev, libsqlite3-ocaml-dev, libzip-ocaml-dev, libocamlgraph-ocaml-dev, coq, libcoq-ocaml-dev, tex-common
Build-Depends-Indep: rubber, hevea, lmodern, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended, texlive-bibtex-extra
Package-List:
 libwhy3-ocaml-dev deb ocaml optional arch=any
 why3 deb math optional arch=any
 why3-coq 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:
 219c136df08209ff1d293fd408bbbd5b69e5a27e 4245737 why3_0.88.3.orig.tar.gz
 02251f5acf60712a6b7144c72dc6e525f38eacd9 13732 why3_0.88.3-1ubuntu4.debian.tar.xz
Checksums-Sha256:
 3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552 4245737 why3_0.88.3.orig.tar.gz
 f41b8621646073fc9994f48cf21e506e5117ca7b7e4cd1a3cf807d40e3cbdd7d 13732 why3_0.88.3-1ubuntu4.debian.tar.xz
Files:
 1ee0fd41075ba5e77a4b94ad0cc2dd43 4245737 why3_0.88.3.orig.tar.gz
 16d6fe5c9f58dcb3bec9e7f0c09b992d 13732 why3_0.88.3-1ubuntu4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAlrIH70aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1DyA//bIWbqKhmPQJAIrJQPlDJ
4xRPKZDLJvNqhYuLLv80VcnjKXS+6i3ycCX+2GG7g1o89bp5Sw9mGQJTD0aW01me
SmLAUfIgJ12PN/ZhcC53gG1CA4bP33UY03VoLgZIpKS9iAcW6klkWlmyI6BKdGm7
85FmzosvCoOAW9ffFaZ8Qgea0STKBjRj383/PdSVQBUsUngq5/U2Lw11fMhBE2YS
wCeyjM9W5LOX6r9g6tl9qnhYLoFljBktY1ty4hQ0I3ymg482cFFOmGqnFC4ku+eS
RA54DHI99vJt8hAh/CwZ3dTFkAXL0W6p7KJNLERbfZ62RmNZDDkYFo/ez9W4G3dX
Wa7O42EQBEv9bPI4kBeIgf3dVX+5XVeST+Kli5vJdOMlOySWwteS1PYMDOQcc+3p
CeDm5bggPUBmsNqKoE9C8aJcKR0EV+fvUL7yFjAy9S19KDEzPSAX0yFiUzklVs9s
+ZBntTidA9E/HvwWdWQKHNMm2MIg3YRbW7krGF+k5LCdS03SRJ3HwFQjswvIjMhW
faOs38rocTaSNLhTtBpV6ekSqN1ngB9J/H4YQvITTVM0jS/7v+rEPCqp36MdTvXm
0oOWCpfPf6/RBa1k8xV+tdX+M5UIaaAQrjVfe75I+H7LwUIf11cGkv2nkiUA7ZeR
hSOHdqbnIYL5Z2VUU28pYOk=
=2eKS
-----END PGP SIGNATURE-----