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

Format: 1.0
Source: coq
Binary: coq, coq-libs, coqide
Architecture: any
Version: 8.1+dfsg-6
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>, Sven Luther <luther@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org>, Samuel Mimram <smimram@debian.org>
Standards-Version: 3.7.2
Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), texlive-latex-extra, hevea
Files: 
 8873d8cd71bfcf263fab1d34b94a0dce 2512805 coq_8.1+dfsg.orig.tar.gz
 fad51b1b1760bd8a922266446ef09cce 14765 coq_8.1+dfsg-6.diff.gz
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

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

iD8DBQFGi2TiIae1O4AJae8RAglcAJ9T4zfH78e8T4MuD8urO8SXWHw9xwCggd0F
WVY2WQosiGeftbl0dSrRBtI=
=QMQ8
-----END PGP SIGNATURE-----