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

Format: 1.0
Source: why
Binary: why, why-examples, libjessie-ocaml-dev, libwhy-coq
Architecture: any
Version: 2.18.dfsg-5
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:   Samuel Mimram <smimram@debian.org>,  Mehdi Dogguy <dogguy@pps.jussieu.fr>
Dm-Upload-Allowed: yes
Standards-Version: 3.8.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), autotools-dev, dh-ocaml (>= 0.4.1), ocaml-nox (>= 3.11.1), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev (>= 2.12.0-3), coq (>= 8.2.pl1), libfloat-coq (>= 1:8.2-1.2-3), libocamlgraph-ocaml-dev (>= 1.1), dpatch
Checksums-Sha1: 
 8ca25b8294f801d6955bc5d8556a334290cfb6ce 2409443 why_2.18.dfsg.orig.tar.gz
 ae9631d63eacfb2ddd866588065107f209c3ca54 7873 why_2.18.dfsg-5.diff.gz
Checksums-Sha256: 
 ec0aea397806b49096cbbabf271632331d6018e481c7b728b7c7e0b49c9829e1 2409443 why_2.18.dfsg.orig.tar.gz
 ac8d5be18ca0ece4880524f722095a991c1849a0fcc1254a33921764f8ab527f 7873 why_2.18.dfsg-5.diff.gz
Files: 
 d2afe1587e1d09640ee7126ea9e12adc 2409443 why_2.18.dfsg.orig.tar.gz
 47ace5e1cb86849796a64aad2900994c 7873 why_2.18.dfsg-5.diff.gz

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

iEYEARECAAYFAkpTzmcACgkQhryr/xwAx5DSTgCePnZ4EpYHghkAOOnszqHZFy/e
wKIAoK6Ti3tmuBoaUaGbPNsTqpgyk7yr
=BlRM
-----END PGP SIGNATURE-----