<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----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.15.2-3
Maintainer: Debian OCaml Maintainers &lt;debian-ocaml-maint@lists.debian.org&gt;
Uploaders: Samuel Mimram &lt;smimram@debian.org&gt;, StÃ©phane Glondu &lt;glondu@debian.org&gt;, Hendrik Tews &lt;hendrik@askra.de&gt;, Julien Puydt &lt;jpuydt@debian.org&gt;
Homepage: http://coq.inria.fr/
Standards-Version: 4.6.1
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), dune
Build-Depends-Indep: camlp5, fig2dev, fonts-freefont-otf, hevea (&gt;= 1.05), imagemagick, latexmk, libzarith-ocaml-dev, ocaml-findlib, ocaml-native-compilers, ocaml-nox, python3-antlr4, python3-bs4, python3-pexpect, python3-sphinx-rtd-theme, python3-sphinxcontrib.bibtex, sphinx (&gt;= 4.5.0), 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
Autobuild: yes

</pre></body></html>
