-----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.16.0-2
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>, Julien Puydt <jpuydt@debian.org>
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, sphinx (>= 4.5.0)
Build-Depends-Indep: camlp5, fig2dev, fonts-freefont-otf, hevea (>= 1.05), imagemagick, latexmk, libzarith-ocaml-dev, ocaml-findlib, libfindlib-ocaml-dev, ocaml-native-compilers, ocaml-nox, 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:
 333e974b2368da8f499fb487d196ab69b85c3517 7397421 coq-doc_8.16.0.orig.tar.gz
 f85deabc86c93d5709bf8748b1e8fb711a81a1b3 7796 coq-doc_8.16.0-2.debian.tar.xz
Checksums-Sha256:
 36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587 7397421 coq-doc_8.16.0.orig.tar.gz
 399f267059b236b4aecc659fb7bfb5d16e7ff933b5538f972fccb41f40d63c07 7796 coq-doc_8.16.0-2.debian.tar.xz
Files:
 25d03ce14d34448d6015f5dbc6f2ed2a 7397421 coq-doc_8.16.0.orig.tar.gz
 5a3fd1b4129c7053f7e9ded88ae04888 7796 coq-doc_8.16.0-2.debian.tar.xz
Autobuild: yes

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmM59g4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQwIP/2o9TlyWk3jfOUBKnCKTNnrW5tAqO2nG
o6IzT/FjBtIv5HE/dhNuEr4olWDs2593hAD304ZB1o3GSS6CB+vUueBMvHylVzv0
YiU4yQFya3b31JP8z0xaP8aisF/5MqV2AJTrWbN/ohS59+y7MxaI5XTEZvwnhA3J
zTFC6+JHjTscOCE2xOUk68FF6bZ+xUIRf9Q9AieejrlYw8+2aOqPQNOJhSmp2gtK
cTzlcFrhzIjLfTr5z+aXB/mt3lzyj2H3zKyUqmcGxfERIhmls9tbCpkiHybbMO+U
2JJPuRRQ5uACKL9wDpefKz8zRYK4a6MvrVHKds1Un7x/biey70vqubQpCVPDbMoD
txjH6b+u8RjtZrjArRBkf32Pz3DoyfMJe/LsTGnuZhorS2BdLpYKEY6eVAdL1TDt
ZQP0mpShoFHIigqjG/JG0NqyHERCtc8rHA7Y4VmhkQbOIk+x3QSPkb53A1NxNCpb
xP7C0iqx0BUvQgmx7zxt7qX7uDdTcuktbrN1zYcQ5AEsWs0KBIEi1LZr9QmjpGA6
QMLdQGuffvitOL84A3oKMBMO5W0MSNRI28wCDZ1GzKVcxbOfAMe1sL3d+laNqCnL
VwIxmyA+s4l8ai+ZpuHFC5JLzVY6BCdKcI3+kxfhzNQh7f5KdESGLGDbgMT4avNa
B2+1vS5ywT5E
=Q07z
-----END PGP SIGNATURE-----