-----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.3pl2-1build1
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: 
 8506761e4755739cc728aff790dd778db8217f3f 3760176 coq-doc_8.3pl2.orig.tar.gz
 dadc5be5e41c37f1a1d77908b75e60140e22d77c 8788 coq-doc_8.3pl2-1build1.debian.tar.gz
Checksums-Sha256: 
 b82b44ec585903b6bfadca02008eb5549cda46038c776ec115bc408c4e0f34f1 3760176 coq-doc_8.3pl2.orig.tar.gz
 ffe458306ac0f27d2a842288a47a01f95cf5ce87d19d9dbe4f3a3b9cded8082f 8788 coq-doc_8.3pl2-1build1.debian.tar.gz
Files: 
 db415f6c5372f5a443699c62f5affcb4 3760176 coq-doc_8.3pl2.orig.tar.gz
 546a3fbf1fec03f743f8e8b061427453 8788 coq-doc_8.3pl2-1build1.debian.tar.gz

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

iQIcBAEBCAAGBQJPUQRCAAoJEP4ixv2DE11FV2MQAIhCFB3HuYbZ9qnDubhP3y0p
w6P+gc+yLfxEg4Sm3Ql/CAUehqwalRI+L8lT1bIAwpt6Hk9IUH/Q0//LrwY0lm1B
CFHvjRM5LiJp028GF4W3yrzfPtNGv0CRn/NMuLMV191RinZ1E1VbZB7x7HbYQOzl
FJxrk+iO8x8rKv6pKvpLzxjjUDD8sYaOM0f/8WFeos0sEmszq0AkNT65S/cg6EXy
okwoFhPQuPEIWqfNboLFOBNir2jyRK9UVRnH1CGkkkopR6rCqcCnrKeVsdnKcAaa
mQU71aXDB2u+gS6l1nNFfv1H32bvKbbIkeMqoDmZiOQdjbyY8mJsWzKLYvHTmY14
8xPGfSxgBNU0he721qK6RAZkDjRbg4Spf5kjFMu7J6tNzGD+ZxJIiti9yvWfzPqt
2j/CJtTrAIH6Wn08d5x/MHCEpm8d7w3AHB4lmCD6LtZaFoVPUNGla9YV+0kZAMF7
bo2gwhfzXcusaozOIYIJVyTXBVjlxHAd8AYN1Bwj9U67SQfdtvmvLOR35lyFbnpH
zaeZDT90IzNz82jwGiMRTpAO1m2W7tDDQFWxFtaCJqpSRSSGeUuBdgZhTG66YowB
mYn0SDPNi9o0fqvGriFvoiycoDq5Bjtpg7eOYZzxjabDHQcKzWB7HaGNHSI1NfX6
24Do7ix3ZFCR0E2RCAP/
=FD96
-----END PGP SIGNATURE-----