-----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.18.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.6.2
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:
 8750db5dc26f7a766da3bd47e8b9ae8ce189a2ef 7612742 coq-doc_8.18.0.orig.tar.gz
 37c313d05ed0059d0c6a49fa315ef7c3bf413a2a 8064 coq-doc_8.18.0-1.debian.tar.xz
Checksums-Sha256:
 00a18c796a6e154a1f1bac7e1aef9e14107e0295fa4e0a18f10cdea6fc2e840b 7612742 coq-doc_8.18.0.orig.tar.gz
 c6dc418bd9d138412cd4eed5ea6cdc87ac44cfa07c0c36301afdbf53272de812 8064 coq-doc_8.18.0-1.debian.tar.xz
Files:
 8d852367b54f095d9fbabd000304d450 7612742 coq-doc_8.18.0.orig.tar.gz
 42baf8d77e648ffcc2cc0517271150fc 8064 coq-doc_8.18.0-1.debian.tar.xz
Autobuild: yes

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWyW1wSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRk5EP/36wiTcgtFL1c26NTpW1vI1a39Lsiv9E
vjYcH6lpJSFTt94xFyIvX7c1ZYbWJsNBMxjCfDxzkcTC0h7WfdufTxpvV2SGEihx
KLJlQE0x6g+rZTYG+z6RsER1+kvC1lAn0xPjaE9zEVcX6om0GIcBV/eVmcGTanIg
r5aeuOp1kEUecAaPf85yxp+fGrhXaSk3KMKJFo824EJbMUTZQcedw9HAWdSec7uq
SiUS06o+dtwTFwY0tx0gpSWXv8bjIlRrcchPqo3wSMeLjfqUyjlkWFw1fVNTiZfz
SYiQ9GQT8iMnJHlvf+9oPb5C78BK5gCMvhG4uXz2wsnkHN4ULPdgLsrzj1dGbiWm
8nlZ2hUi8BvdlfWM5rxGXuEfLxdXgzbs2WKWyG7yrnciWPX2QLRhsMgkiGtcIzyy
BEH1tKlCwHsq+4fbamURCAZXAzRd0FMFFA9FuoKFiEo9k16pHw+HESMYZLQqNphn
483DhbiKby5JMzsYxrmhFwYVK9Ve0h18y1HrIkOJxEVzH4miq7oAHY2gG9V+R5wG
gBa/07ZZAIPcnKMh8xcOPczANMf2FgVouzEhxJMPFZXI9ArSf9DkwnP+LajqPI//
/euBmey0nCTXWqxV8VCUyfgV6I3v4Xmi2Hauk6EOSCteCnUTRNgmUcfXsqf6M5er
bMdqNmGWeql3
=nW5C
-----END PGP SIGNATURE-----