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

Format: 1.0
Source: why
Binary: why
Architecture: any
Version: 2.04.dfsg-3
Maintainer: Samuel Mimram <smimram@debian.org>
Standards-Version: 3.7.2
Build-Depends: debhelper (>= 5), autotools-dev, ocaml-nox (>= 3.10), camlp4, liblablgtk2-ocaml-dev, coq (>= 8.1.pl1+dfsg-3), libfloat-coq (>= 1:8.1-1.0-2), ocamlweb
Files: 
 fab59d0a7a19835771ca82b013c45c7c 1298690 why_2.04.dfsg.orig.tar.gz
 c35e1d0e241f9914841c052e46db28f0 2888 why_2.04.dfsg-3.diff.gz

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

iD8DBQFG5YikIae1O4AJae8RAhNZAJ0cdrzEyXCaYGRZwFIyU/JX6GufQgCfcizo
QRq42zapvtg8HJ0q7RNvI2M=
=P7Av
-----END PGP SIGNATURE-----
