-----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.4pl2-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://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-doc.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-doc.git
Build-Depends: debhelper (>= 9)
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: 
 adcef430b8e27663e8ea075e646112f7d4d51fa6 4145112 coq-doc_8.4pl2.orig.tar.gz
 dffeed527c492a68a81ce748466d6c36853f5749 8729 coq-doc_8.4pl2-1.debian.tar.gz
Checksums-Sha256: 
 fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8 4145112 coq-doc_8.4pl2.orig.tar.gz
 0d54845d4bcce090b5031187336dd570d857860efd6098966eb248e181d36ec9 8729 coq-doc_8.4pl2-1.debian.tar.gz
Files: 
 7fd98da8db35a89b9718333a31af6153 4145112 coq-doc_8.4pl2.orig.tar.gz
 c22d33b38ec871cb39e0ac2ae1c539d5 8729 coq-doc_8.4pl2-1.debian.tar.gz

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

iQIcBAEBCgAGBQJSqxT+AAoJEHhT2k1JiBrTMVcQAITp+Bsuk7udm8eWeFApjMv+
birUx8iG2Vo7r8ZARM/YGT7tSqclBcYdvF3wWaVTqvf37lrklDXoNMa1/PAIVjf3
EiBbORG5jp40KTRcmU78iefUBO3cmvKhrgi+APeQ4zvshUYTX9phf1p8ST3nc4KB
2FoDqvROUaMgFuGy5nJoXEZr3uk5+cqyq+SQdbVk/8gBOC558Kw1oFQKxCUTMFt5
CUE55kcEckz9/bEDTZEZynvmwB/QA+iA3kRX4dX7Io0Ic7/SmhGMuoi5gTNhawzI
MU6QgyNEL9KCqBdteBi0gGz/bqecsKfqJ/PLz/8gZx/827IhPq7LyOO/tmMP2HlE
sYDMB7BpDX39Co5P4nhtsvTPVDf3QaqDKze/OU+58z1DuW/aNKnIi2UeT5xESy/r
kSRUK39PLAiWgw6vrrvJXo42Sualri/Rs4PNrLExskqJN0gBLt0s2Ulnv+WeVBgK
XT3yU3gi8sf76XlrRYMdgxfMVBHxK3PBs1DRCyVdbiGWqbZdJCxTA3jX0oP2I0EO
2OFc1LGm3ZvFUo1+/LVlmgJ8acCCiGcZfIIjCfAlWk3gJ5Fxy+pgmBPY3B3gIBGI
trbhFUIcW3wUFQZIWFeormYe4FDRHyS0fu2WP6UIDdfzKo3T00TAvFjGkaMqBnAd
GH2HMucQx6LmHjpFHa2J
=+6sx
-----END PGP SIGNATURE-----