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

Format: 1.0
Source: why
Binary: why
Architecture: any
Version: 2.13-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Samuel Mimram <smimram@debian.org>, Mehdi Dogguy <dogguy@pps.jussieu.fr>
Standards-Version: 3.7.3
Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/why/trunk/
Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/why/trunk
Build-Depends: debhelper (>= 5), autotools-dev, ocaml-nox (>= 3.10), ocaml-best-compilers, camlp4, liblablgtk2-ocaml-dev, coq (>= 8.1.pl2+dfsg-3), libfloat-coq (>= 1:8.1-1.0-4), ocamlweb, libocamlgraph-ocaml-dev, dpatch
Checksums-Sha1: 
 7e9d082636c69ed7256b4a604c3dd562cea109a3 1876222 why_2.13.orig.tar.gz
 e298fd57c91544710bef85da8b28e06f540d2407 3850 why_2.13-1.diff.gz
Checksums-Sha256: 
 9c59d667f0119eb1956730b130debe1a775104c1b68e7f2482bfcbef6a462305 1876222 why_2.13.orig.tar.gz
 8088fff455a0304a8fe7fb9d1fd08308a7b459571f9daec35448ecbaa823a82e 3850 why_2.13-1.diff.gz
Files: 
 edda847e1b64dfe70d2b33978a0ceefb 1876222 why_2.13.orig.tar.gz
 acef5b4d9751260228001aff0e4050c2 3850 why_2.13-1.diff.gz

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

iD8DBQFIPlvrIae1O4AJae8RAv0bAJ9YFQR0E5EXkCsBWq97jmmIGpDeDACghv7C
/7TDHlH9qdUSg1WoorEINwU=
=FpXq
-----END PGP SIGNATURE-----