-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-doc
Binary: coq-doc, coq-doc-html, coq-doc-pdf
Architecture: all
Version: 8.4pl4-2
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.5
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 arch=all
 coq-doc-html deb non-free/doc optional arch=all
 coq-doc-pdf deb non-free/doc optional arch=all
Checksums-Sha1:
 4dfc3a1ae65f5c480ddc4387d21549a526183e00 4067355 coq-doc_8.4pl4.orig.tar.gz
 47f933d45ba7140aa1b9117ff14d240c37c65de7 8404 coq-doc_8.4pl4-2.debian.tar.xz
Checksums-Sha256:
 06c3aeab7819eed8f35ce794c887a70cf3b4f6b71ee52cd3110fb4e526717f01 4067355 coq-doc_8.4pl4.orig.tar.gz
 061c31efe52366686526fc1d9636f584e5505a6bc4c93910965311b3830c7d28 8404 coq-doc_8.4pl4-2.debian.tar.xz
Files:
 6a9f61cf0ece644b170f722fbc8cf2a1 4067355 coq-doc_8.4pl4.orig.tar.gz
 4c0a4cee245c8783497a9bcc5ba06d9a 8404 coq-doc_8.4pl4-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWvQOzAAoJEHRcR2bUys3/pM0P/3HLut9AivQAe8Q4VkAeg3+R
qejDs9MhMwWi4qds1trwuhLHkHXGqHlyJ/gFjw+9VF06r9VwjcKajJgsbi7cYSeC
D22PYnZM4G1NQYyYmWjrNEoqvOT7aTlmur0cJVvxWc/ytE17Gv2FOqLutoapKYe8
P7x0nEpH18Hb094obuMikB5HSuCdvB01FirS486Vy+FgoeGPknGO0UQQItlHqLnW
pJLNLIpo7urPz2tRoQqi0BKg8pZTRQ0HFnmlAOJ9/aMK6VzHAsdiO6HAnFAryAF+
LZV+JbCmu6Ej7BaRmiwm4jRJs5rLnYgz+pPJSzr1ecTpt5ndIE7KRIvStVhclW1i
GGKKpps2GDNytvUhhhGQ7wv6q/7xyTVE5yCS6jDjEXOwgf/vwgeHzmnmVYe3KvND
PbAKSH2atuB3lHbPkMrK0Zlblxtyp4jibYifA92eSlz0rnC7oJ8d6EFALb589aTL
0GDnhPUYhwcjXhwQZQaC1FWkIpHqblfF2HIx12lDQUWb0NWVizxFREx26fzLBB2W
0H355AsX+hDd8miJdTPqtLbaca9b3grazJfFhaM4B0q3mk92yHuMszBlU/vIBxcE
pnnhyrGDaGrcLoPIDCPBBMaHPyCsLHRknGr2Cdu0u9VYokrlfmrcK1IONAt/Ts/u
cjwfp46ZsBfIqjUTIWFQ
=0/Fb
-----END PGP SIGNATURE-----