-----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.6-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>, Hendrik Tews <hendrik@askra.de>
Homepage: http://coq.inria.fr/
Standards-Version: 4.0.0
Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-doc.git
Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/coq-doc.git
Build-Depends: debhelper (>= 9)
Build-Depends-Indep: texlive, texlive-base, texlive-latex-extra, texlive-science, texlive-lang-french, texlive-humanities, hevea (>= 1.05), imagemagick, fig2dev, camlp5, ocaml-nox, ocaml-findlib
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:
 617a6f86d09dde0e409f3fa22268daf7be3f5bba 5538848 coq-doc_8.6.orig.tar.gz
 89f25276ebed1b2a5cda46b3951a8bb2ed6eb3c9 8304 coq-doc_8.6-1.debian.tar.xz
Checksums-Sha256:
 6e3c3cf5c8e2b0b760dc52738e2e849f3a8c630869659ecc0cf41413fcee81df 5538848 coq-doc_8.6.orig.tar.gz
 23e6aa6301217856b5502c80ad42e50e6a8d71fc82e79ba26f0f22b627bd03b6 8304 coq-doc_8.6-1.debian.tar.xz
Files:
 e7f1704b85d648468160abe03338f1bd 5538848 coq-doc_8.6.orig.tar.gz
 b527d74b23bd463898245bd4a5cceab1 8304 coq-doc_8.6-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAllnTFMACgkQeFPaTUmI
GtOovQ/9FamA9a1XFexyJWhbcKQtXSalVj/QPP8hrWIEcoId/tK6iGdsMGhkQCQ8
mIHS8XU7VSZ/IOBTVuc8O2joK6IKoBrLPHHAGHiMAyBI15edoBtkyMmEr/oC1k07
ECwWxpOD6QM0q54hNJLLv49rRpCVNwpleIaL6TAlYxoEv9Xhb0gWNRBWRfvQhMwx
LGf0x9HEWrQFsnbqJX25WVOgHbeMa/WFCOkV6DIfwxTGsNv+h2D4Ez01VuCittAH
/Mw6Ac1HYdtjefv8wg+ATB2nZQqaYU3wCtjlDt8Qyj7pB9D25mfJ4eIo2MNpNoPg
RWceQLVto8p5cOv+Loz0Rhm7DmCS+gfLKiJOg8u82k1fi8F7UIfEfaZ9JP6t5O64
PjrM3pLiRZEvVCwOV7/RO0DyVbtXlI5By+vgxGNEsNi7RwJ6nyRIKqD+P5LNVjR8
n7b3W1b9Z+C8p7jCh+W3nJmGrzf1ZEcCuCij20/4bAQRcNLzYXzmgU20Bk0slvn/
v0xMFMbqcJCgQxrT8M0pp/NH1rJJn5fy4CUFyhO2R0Imp0FtZCcX0WyxrjJ19ZO0
mOsCpR8lwmzYGZjEbdjiui/AEVL1skuQx5GSGJLj7FylxAiUBio9AmsgRJQnP7g3
A8mXcX117UbXlxveEMssp/QoX6NpqC7WdaYnkEZWTrxhxVDAbRs=
=Bqbf
-----END PGP SIGNATURE-----