-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.0 Source: why Binary: why Architecture: any Version: 2.04.dfsg-3 Maintainer: Samuel Mimram 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-----