-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: why
Binary: why, why-examples, libwhy-coq
Architecture: any all
Version: 2.30+dfsg-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Samuel Mimram <smimram@debian.org>, Mehdi Dogguy <mehdi@debian.org>
Homepage: http://why.lri.fr/
Standards-Version: 3.9.2
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/why.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/why.git
Build-Depends: debhelper (>= 7.0.50~), autotools-dev, autoconf, dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev (>= 2.12.0-3~), coq (>= 8.3~), libfloat-coq, libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20111001+nitrogen+dfsg-1~), libapron-ocaml-dev (>= 0.9.10-4~), camlidl
Package-List: 
 libwhy-coq deb libdevel optional
 why deb math optional
 why-examples deb doc optional
Checksums-Sha1: 
 c8e904df22d1681bbcbd0ca886f525dc205a1bf2 3233685 why_2.30+dfsg.orig.tar.gz
 be3d3d642968baac9fa78372a769a0d0b1222909 11278 why_2.30+dfsg-3.debian.tar.gz
Checksums-Sha256: 
 51c91ead51875b0336d352eecd6b306a8f2c96414d59ec7f23b9f711b079cb90 3233685 why_2.30+dfsg.orig.tar.gz
 8f2798db8f649764564edd5f9dfcdafb4e557e9cf7c8ce62cc70716818595870 11278 why_2.30+dfsg-3.debian.tar.gz
Files: 
 8e8c6a4c203ed4827cda0e2c8137a6da 3233685 why_2.30+dfsg.orig.tar.gz
 5788a4c0f1f5d0d9ac4e5ce870069b93 11278 why_2.30+dfsg-3.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQEbBAEBAgAGBQJPFGoEAAoJEDe1GR0FRlJoBzMH+O/2itJyWc5Eqsxl0wXHnVIQ
el8JhWfZjlAV4PRY3MHU8ExAw3lBqmZT2V75QTbdhwqERiDdSCUtyuWfztPMnwfM
JqDbB4V5zgnu2OLbV0TzmNpDNFjUusmsMNZgdLIxpBujvGyu3Oke8eXz4P3EEvow
0pSKMm8dDgpmt4hd1ESa6p1WUsYzQMyd9T0xFc7je0SEHuvGLpie5l2ehblhCrJ4
afZZ0U5LD87MRS1MRxRYUhFsK5iGYy8ZMDcRwgiHUcCwViVTq7KAFrTs2reN96Mg
2Ew8+0la4xZXfKNVk0GBJYHrsetAgVusSmxb7jWmgZBfTyzKPm3mxBWA9DInZw==
=BEpt
-----END PGP SIGNATURE-----