-----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.20.0-2build2
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.0
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:
 c19686bcd38c1dc74e1ad785261c2e8e0b11bb91 7839432 coq-doc_8.20.0.orig.tar.gz
 410ed340ec8cbcf030574e0bab3c705e67a23220 8920 coq-doc_8.20.0-2build2.debian.tar.xz
Checksums-Sha256:
 b08b364e6d420c58578d419247c5a710f4248bab962a46e542d452edac9e7914 7839432 coq-doc_8.20.0.orig.tar.gz
 7a63e45cbb99ba1d133d25fe7a4b2a69da3d49641ef2e97aacf985e0c6cb3766 8920 coq-doc_8.20.0-2build2.debian.tar.xz
Files:
 66e57ea55275903bef74d5bf36fbe0f1 7839432 coq-doc_8.20.0.orig.tar.gz
 65df1f2cfadb9491e102c0b22ca21276 8920 coq-doc_8.20.0-2build2.debian.tar.xz
Autobuild: yes

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpMKLYACgkQ808JdE6f
XdkTfhAA0YdxDew+r/+IJsvI6obAPrpus9B5E0BnQPn8O8AH7wzxfAxoRZMir6Rc
lVrcQ3yzhS5gfJWdeuNlLppv7NbbD2k+BHB4RSBFtcwty+9zaJfldtyvkeA24SC+
qghaRbCodnS888sByT1h2ik9dR48XUM9MB1MunNjGenZiClo0D4oSomn5/Xhs+RK
QWx4AUc6LZVr7U9a4yVIL3+XjFQ/5Zc2/f4DGiTlAjWRO5Guitw+atVJOkj4C9Wk
UKrI6Ktvm+Y2aeegjOZV51z5GQH2bCeF/XHMhFdDnlbDl8HnAQaOQbg+wahzsx4g
4HA0GrI4mCHzmTqjDJ0us0LI2jnQaxV5eT19VR1Y/5RCfbcjao9CX9NXlOguIYG9
t37O5TyiWG+lbfAC/IoBNdt/gzJbX1m0YW6JrlewM/DmEArzkGLkmP1GcwnMSBV1
iU/sR2syfhp7iaKJWTmSc2QAf1x7HZecScBWYxoR01muQ81n0rmkxvd3LT/pQKgH
x5ItEcFBtULe6zcc34ooHePjTz+uD5n2Kkq69fPdvzwuFgV4UlXQz1+jcisTufcc
jX+UOGQf7Vvw0ifFImT9n9Jx9ZLFHZ99cTXu5x8MxgPSnGMRV/uHJD7xqPyq0s+Z
JEAvhb83rijhi1z9ik7RZU0j71BFDhYXfqeoqGaKgQd4a6Tpka8=
=7TY8
-----END PGP SIGNATURE-----