-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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.87.1-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://why3.lri.fr/
Standards-Version: 3.9.8
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
Build-Depends: debhelper (>= 9), 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
Build-Depends-Indep: rubber, hevea, lmodern, texlive-latex-recommended, texlive-latex-extra, texlive-fonts-recommended
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:
 2e53da58269f5d85b6d96e56317769a3f411dbbe 4480316 why3_0.87.1.orig.tar.gz
 ff11b4d499e26fb9115c41bb9e1d4cb631234386 11876 why3_0.87.1-1.debian.tar.xz
Checksums-Sha256:
 8bf3f8e6a511187d4a06ca632af5d00a0b7347cd10fd5edbe5fb4e679c9851eb 4480316 why3_0.87.1.orig.tar.gz
 ca8c38b1b7475864720234b7287e5e9d8ef2775884c2ca9cc97fca2fe658f13a 11876 why3_0.87.1-1.debian.tar.xz
Files:
 f1780c8579e6fec9a7ece3ecd05a01e2 4480316 why3_0.87.1.orig.tar.gz
 9958c3bcba586a58d0bdd4c65782cb55 11876 why3_0.87.1-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJXWG2GAAoJEHRcR2bUys3/cpsP/1eiiHLMSq8P6ho8xaSB70nq
qIQeJA4HthXYTYAYthszUrpnUxcHjIzalmRdfymx4BExTvyxJGI1uWu788oeN00Q
3b983KAB0pCs4yzx7ObgJ+7t0n1fvVSvIc1nUK67XPpL2ZhnhPedFroROTya/7oU
liYiLLXs8tYV5B0IsHjcNL5cSOVZhA88ovh2erFV/TrZVp/7y9CKJr/+4zrqFybI
/xcQO7EnhUhgwDmrrBvPDxVaiNcPBbWMB5q9+lw0ZiatNlgiVC79XsvUjv/5L4wa
1ckIQly29gyaslpv8QfWKIQmnyBh0RhzembMFcT9gbpbHpvY6AG1t6qEAPMn23hy
SPjd9YvXcf4eh8fCvzm7HE8+gbfa9K6SVaIasYxkj66tSIF0+zrcgXOA31ot3yyz
2uD1EeI+P39vfonu3RpqTdftQTseD6ffr6CK8JjbrU3XhHqAj7XLs+XLX3Bn7euD
sEPL2sm7Xgh9RfwwUyfcKl150i+g37DKz1CMngpexfCPvAZSzF5TaqJSE39TzNjT
b5Jvrqib+/ETD5jxz/bm//ZoAX87vJ+hu1Z3CuIGWOCIBX7R5ehzR7+dYGaFTqF+
yDHRnSoqTrsf4GQZlglnANIBkalDdwKGZJ7mTEhcbpEsF99M+QobOPImGyX6hLup
0LDXEY5NggU61q9qnTag
=0JqF
-----END PGP SIGNATURE-----