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

Format: 3.0 (quilt)
Source: why
Binary: why, why-examples, libwhy-coq
Architecture: any
Version: 2.29+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.0
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~), libocamlgraph-ocaml-dev (>= 1.4~), frama-c-base (>= 20110201+carbon+dfsg-2~), libapron-ocaml-dev (>= 0.9.10-4~), camlidl
Checksums-Sha1: 
 e4c97d2360381a0eee689938293ee52e6b625363 2747091 why_2.29+dfsg.orig.tar.gz
 9a31fd6fe1e13a88d408889452c58a082ea4bc2a 9473 why_2.29+dfsg-3.debian.tar.gz
Checksums-Sha256: 
 e0b78694c40770ea5632bf086f34446bd02f807d89f9f93c3f0563630d898a73 2747091 why_2.29+dfsg.orig.tar.gz
 528bc61076695ab71682c1d4fdf6175653cec29c6d99f5ca10ee34bafe77ddb0 9473 why_2.29+dfsg-3.debian.tar.gz
Files: 
 61d8df3ea4c65bc7c0329f4e525eb8d0 2747091 why_2.29+dfsg.orig.tar.gz
 ed3043b91892b1246d099140dfb04d56 9473 why_2.29+dfsg-3.debian.tar.gz

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

iQEcBAEBAgAGBQJNtb6HAAoJEDe1GR0FRlJoMWsH/iXUVMvPoQVzg6rYIhGkoYdu
r1WHBbBRLw2LKgGAYS9iz9PutfCa+9PkcVm+vHr8nZaJRe19/wA3Qg8yIr3tzwfu
qjoeWueNN8X/eFbGzmHYrMYBORN7A5alXJAzAVWLFWbryVV9vE9G4kBpesEQjGNw
JywO6pMsGIyEeXomKSflZG9DateJ/c1tRQzGHaFsJp/2T3BIg/Hp1TQ0EqJ8MFge
837vB5pFeHxmw5pt9sv2FEH/4ezwT1URkXo1qNDv30L6NQeFcN+fsvynZyYA14wW
lmIYmAWmLKh0pK8c/xj4QFYEmddy6++a6WoNdHNlTWM+wpbO/3j3XDFwuhRzXzQ=
=v8eH
-----END PGP SIGNATURE-----