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

Format: 1.0
Source: coq
Binary: coq, coq-libs, coqide
Architecture: any
Version: 8.1.pl3+dfsg-1
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
Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/
Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq/trunk
Build-Depends: camlp5, debhelper (>= 4.0.0), dpatch, dpkg-dev (>= 1.13.19), hevea, liblablgtk2-ocaml-dev (>= 2.4.0), ocaml-best-compilers, ocaml-nox (>= 3.10), texlive-latex-extra
Files: 
 35571b435de17bc560f018be53585822 2534628 coq_8.1.pl3+dfsg.orig.tar.gz
 f56b319a4f74365422613f6614524961 15578 coq_8.1.pl3+dfsg-1.diff.gz

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

iD8DBQFHf0uhIae1O4AJae8RAjraAJ9iVXQKZHqGOGG0W8/YuvgNAz4AogCeK4x7
3PrccFXy8ZT/gmRdTRsMG+Y=
=MWK5
-----END PGP SIGNATURE-----