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

Format: 1.0
Source: why
Binary: why
Architecture: any
Version: 2.13-2
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
 65a8bc74d1c16f651af1fbdf4593da3035c2391b 5843 why_2.13-2.diff.gz
Checksums-Sha256: 
 9c59d667f0119eb1956730b130debe1a775104c1b68e7f2482bfcbef6a462305 1876222 why_2.13.orig.tar.gz
 4db32ec80463244ea246c5ec393fbf442f7836f4cacdfde9dddd0214c91430aa 5843 why_2.13-2.diff.gz
Files: 
 edda847e1b64dfe70d2b33978a0ceefb 1876222 why_2.13.orig.tar.gz
 877a9b50d152efab078dbd6300fbfd85 5843 why_2.13-2.diff.gz

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

iEYEARECAAYFAkjRZSQACgkQmEvTgKxfcAyfPACfaw7dh3+vPBjV7slFatoJORQQ
r/oAnRIRf71Hjx+PjuRhgF9lLPbRGThU
=JHSp
-----END PGP SIGNATURE-----