-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-doc
Binary: coq-doc, coq-doc-html, coq-doc-pdf
Architecture: all
Version: 8.3pl4-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 3.9.2
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-doc.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git
Build-Depends: debhelper (>= 8)
Build-Depends-Indep: texlive, texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french, texlive-humanities, hevea (>= 1.05), camlp5, ocaml-nox
Package-List: 
 coq-doc deb non-free/doc optional
 coq-doc-html deb non-free/doc optional
 coq-doc-pdf deb non-free/doc optional
Checksums-Sha1: 
 c1c012b0b4fa134bb34db5353696b40fb5a213c8 3855074 coq-doc_8.3pl4.orig.tar.gz
 233add03094c4bdef1708647215622801b05a794 8614 coq-doc_8.3pl4-1.debian.tar.gz
Checksums-Sha256: 
 79f26cee0f9eb0bea376ff7eca4e9b9cbcacd179a264cb550e39e20a59a5a39d 3855074 coq-doc_8.3pl4.orig.tar.gz
 eed0fc02536d287543d1a30812995d0dbe580e302e2635d98c14734be47380de 8614 coq-doc_8.3pl4-1.debian.tar.gz
Files: 
 88e2ce021b09eca207e3119d5202a695 3855074 coq-doc_8.3pl4.orig.tar.gz
 2f75cb882a65f1f14cb5aad4dd653d72 8614 coq-doc_8.3pl4-1.debian.tar.gz

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

iQIcBAEBCgAGBQJPfofOAAoJEHhT2k1JiBrTU90P/RZuQZeHfzfS6uFnCRlvMhP0
C3FGAWf7hEaLMSPgC5IrweFt4p3oRPvwKDBOCrCQ8QzJql4oDb+ZtPkMT2TJZNgv
3ixrzS2cramfbLrmKYdasaRbzL8jnpnsatyBAHfrCFo1URFaR8kQRpDsU7S/5ckT
1JPJbJhYKJMF6uh272LsTJo8+ehdW4mcNhzOSO2dCpLXfsILOEpEg2xm5iKVDVXi
QnX/0IPPBOJj58AJaAlaA1/dvb28rgqxuCs/FvqCg6jaPWyim+4JEqzy/wQckW31
hGe8Q4LNn8HCMYkYFuqesBy2aNiXJ8E2xMxMVvmohrgFTkQsb2jvwkdxuhPv3HY9
Ls8zMXAM2HIQ+VKl4TL94lC7VMKuA1k6c15+QYX/UIajuae1EcSdi2NO3hBz7EYv
rUNxPQerES3SLlqQCKbOzDFWv47VH4QdcAiYDHa1/MXqY/WS98tPOe24rgMiy03F
rcM5rSqXjTlPl0BOejWPue/Jbj1N74wjm/Fp3yQk2zQngzZVzQoKblaZiaKMrAca
6Ooz8BJ7z1XQKt0+qw+oBDLpM1d79hhq5WECyI++PUGLe1Gs7bRDYFXgaYHx1QFF
36fuP7kB1OyubR/A2vDJN1WEFM90AEKxllCCQK0f1iE/CRbY2KPpwPrLU1sxhT7E
tAgsCXM+Wd3DGQyWCjWp
=lqaa
-----END PGP SIGNATURE-----