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

Format: 1.0
Source: coq
Binary: coq, coq-libs, coqide
Architecture: any
Version: 8.1.pl3+dfsg-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org>, Samuel Mimram <smimram@debian.org>
Standards-Version: 3.7.3
Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.10), ocaml-best-compilers, camlp5, liblablgtk2-ocaml-dev (>= 2.4.0), texlive-latex-extra, hevea
Files: 
 35571b435de17bc560f018be53585822 2534628 coq_8.1.pl3+dfsg.orig.tar.gz
 0494d4cbf5cee3520e99e60ad2c173eb 15617 coq_8.1.pl3+dfsg-1build1.diff.gz

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

iD8DBQFIPAOjysMrFvyAPHwRAo1XAJ44kxM2RKfr0nvkeLycfRu+kNdnlACfTP6y
HjhZxCVG9+ovfJ/0eTrTheY=
=rxKI
-----END PGP SIGNATURE-----