-----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.3pl2-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
Checksums-Sha1: 
 8506761e4755739cc728aff790dd778db8217f3f 3760176 coq-doc_8.3pl2.orig.tar.gz
 7e3dfa5c672f791b6c863dcc30ec26822f1f7198 8827 coq-doc_8.3pl2-1.debian.tar.gz
Checksums-Sha256: 
 b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1 3760176 coq-doc_8.3pl2.orig.tar.gz
 82ffc959c0aabd4bbb284006b06bdedcbf1504b7892b8866117ce9a1bd3534e7 8827 coq-doc_8.3pl2-1.debian.tar.gz
Files: 
 db415f6c5372f5a443699c62f5affcb4 3760176 coq-doc_8.3pl2.orig.tar.gz
 5d8f107c472322a32f01b2aa768e6644 8827 coq-doc_8.3pl2-1.debian.tar.gz

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

iQIcBAEBCgAGBQJNw94zAAoJEHhT2k1JiBrTCHgQAKEMRockC6FQ9Z7bTjbI/Td8
73lr+1m/OkCzcH2EeOXGVZ/r/vLsKfsM4kXophegwGbnduCNbr0ep5Ak5ORY2b0G
k0z/QaB6hjlVoNpHFCDYDNJgCmiM9wLWgCnTApJ27fccVaFo98AyE01NEbMOfbTY
uwUmI62RtMUTYhdvcl2WT4nBVIE2lIGNhJMdQ+0pdD+/VYBjp/vGhj5UqzJLtN9J
9pecqUHM7RkLWVRMiYTF/53sL5S/U6vuvVRxB1Nd7SvKYir10DYPZBduOO89IuHc
ncFdxymU87ub4FzNNEnzpp7kq83Pw7dWUDvywHy40XwC9FvWtfPeXLYef8FogmUO
A9Xcl3GRq/NWtGcPg99QEZMEvlb2+lIL7LAm6/jGqlGt8PEEbDoWznU+ooGyk1l1
MIL2HN3fm+bbJsFIFlIYXRfuujwvABMtEJK4UTgM+mTdwEQfT1ywQNFnEZ1YeICi
LU24jWDUMOi01iqxYWuxSSYvtf/udvX3CrVkXUlToNEbQb9HmZ7TfoYmpHknypUb
Hyh9s3u0T+ks9oA71b2xXf/eBwgfhg9cHD62LtTlMsgGCF/FgDsdnfMsk4sdWAxT
uUeSwmaFEUsKDto37sF4bYx5/r/ofBpG+uzCraVM48OPge6XCRB9P0PLKdFLQhq+
/YRhQ/jFdKZTzLd+eLyb
=nmsx
-----END PGP SIGNATURE-----