-----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 Uploaders: Samuel Mimram , Stéphane Glondu 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-----