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

Format: 1.0
Source: coq-doc
Version: 8.1-3
Binary: coq-doc, coq-doc-html, coq-doc-pdf
Maintainer: Samuel Mimram <smimram@debian.org>
Architecture: all
Standards-Version: 3.7.2
Build-Depends: debhelper (>= 4.0.0), dpatch
Build-Depends-Indep: texlive, texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french, texlive-humanities, hevea (>= 1.05), coq (>= 8.1)
Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/
Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq-doc
Files: 
 795f1276134a97ff6b44f23a187aa2f5 505367 coq-doc_8.1.orig.tar.gz
 4ddca8d6afc7b71eeea9c812cf7db37c 7811 coq-doc_8.1-3.diff.gz

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

iD8DBQFGLQ70Iae1O4AJae8RAvccAKCBAUdV/K50GxMrBIW0nrLVQy21fACfaIIr
LgZFSAHKY0aky1NKQeDDKyI=
=+Ec+
-----END PGP SIGNATURE-----