-----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: 9.2.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-doc
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-doc.git
Build-Depends: debhelper-compat (= 13), ocaml-dune, sphinx (>= 4.5.0)
Build-Depends-Indep: fig2dev, fonts-freefont-otf, hevea, imagemagick, latexmk, libzarith-ocaml-dev, node-mathjax-full, ocaml-findlib, libfindlib-ocaml-dev, ocaml-native-compilers, ocaml, python3-antlr4, python3-bs4, python3-pexpect, python3-sphinx-rtd-theme, python3-sphinxcontrib.bibtex, texlive, texlive-base, texlive-fonts-recommended, texlive-humanities, texlive-lang-french, texlive-latex-extra, texlive-science, texlive-xetex
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:
 4af9591d282f600ca5afe27bf5d4acb19f823fd5 6559931 coq-doc_9.2.0.orig.tar.gz
 906b747d80323e71d4c5f2ab979a90c304dad835 8620 coq-doc_9.2.0-1.debian.tar.xz
Checksums-Sha256:
 a45280ab4fbaac7540b136a6b073b4a6db15739ec1e149bded43fa6f4fc25f20 6559931 coq-doc_9.2.0.orig.tar.gz
 8a8bbfcce372bafe0223a2d2c08fc94cc291e0257ed4c2770dbe7bf7898bd27a 8620 coq-doc_9.2.0-1.debian.tar.xz
Files:
 de041a7ef5baad224c7594d03716acf3 6559931 coq-doc_9.2.0.orig.tar.gz
 7764f039e8953c1778e71cc7ed40c30d 8620 coq-doc_9.2.0-1.debian.tar.xz
Autobuild: yes

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwnNkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUefD/9S1OvbXF8/LdYpo6x1g/Fd
JDi/vefr/o2hEwNSH+mjkuvwqYmiSU/AQu4yxqI0rfs5nLHIFxg6mZyfNa9vc4fg
OX+ahuXHqRhIPVNlW8hdmRsNO3L4den4cBT0sb4EokjlFejjWxLk4u2xfzDgvxtI
xOrOVDXemSyb1jJxtS3qc78nx68QxyleSoWjx27Y+v/OZJQ7Aw6n0RYxO/briD7S
6X5VHjRQrLlY4KnTCExF5PV9e3Dfu/SsuNF9ACjxa0nLT0ldUmYyPP+M6S/2BlaN
zJrwJR/k/XNPpf4MMPXUksQJbzeI936tZ8rLzfkN+d8/TWh44212YG/Lw84d6CMO
2NbCN1DTaPtClYUA4qNM/L9kMb4CRzZRdovBX12lyekJweJp00kEMcY48wnkQWoP
LnL4pd6OJE3I6z30r5p3PMF3iWRo2+UlyYDkxP3T1O34S7zWQfMuXOGV+sPYnVWS
H5ETgmR5AWUaX9CL+gnM7nsSaMhwhl1YX9BYr4b3X9LObak0BF1kc9aCKh2Q+AAn
f1tyRZ+iDU+t9u8D4rkdQddXVxlyK9I3KVvWT7rQFy/Fhe1OvO3mg06BGZGrYVyY
t5ZFGceqmvZ4sqZ4KciqH2eCvrG5W1LYeFXF5z22dNCkuHoe8VG8RpSLBo3uTMsC
RvQAcax2goiTVISGNydh2g==
=mDvV
-----END PGP SIGNATURE-----