-----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-1
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
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, sphinx (>= 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
Checksums-Sha1:
 333e974b2368da8f499fb487d196ab69b85c3517 7397421 coq-doc_8.16.0.orig.tar.gz
 4485ce84ff4575f4a22068875896259662739526 7760 coq-doc_8.16.0-1.debian.tar.xz
Checksums-Sha256:
 36577b55f4a4b1c64682c387de7abea932d0fd42fc0cd5406927dca344f53587 7397421 coq-doc_8.16.0.orig.tar.gz
 23c2b6f67a054bdbc0ab279302947c473091007e7f38775993113820cbe8e9d5 7760 coq-doc_8.16.0-1.debian.tar.xz
Files:
 25d03ce14d34448d6015f5dbc6f2ed2a 7397421 coq-doc_8.16.0.orig.tar.gz
 273186675ea5fa18f583d73db4d52722 7760 coq-doc_8.16.0-1.debian.tar.xz
Autobuild: yes

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMd1yISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRXOkP/irs6b9NMC3BA/0jfjn1pOAMoiNyJvVT
ipTJEGGvF19Cxr81Z4eSolvsQ0qWQHWcOQrJDlEFD9+6rGCwGcsTIt3xQ5zZXGS2
jXBVkSASNTR+XsKjfcy00e6vqCZDjjuA8jdvnn5+OIzPKfcWF2XvrozKGVxkqr1t
n7lnUSWpsXIUQErKXP5i0SppL3kX0d1XPC8Nz4GEMpQth0SimyT0vpsgCs+SaDja
HqcjRVOl1vUCaCnunmo/V0V1BeUgpw+/8An8JqAN13k6+PVqMFB0uR7FUVBsRv67
9X5aKNN+8KSy5pF7U64eoZ+XmJuP3BFsqt8axdPYJefiqBRKTgM14MboF9FAYsu+
Oek/074/7g0q5TvrkGSg60IG/u1LJ9pZxOhN2MLWiXfzyhhcovk8El7pkIHvtbbN
5Z+gQVbbiPG37UuY2VPBBBq7RSlqgIse4DrYskqcze75h7uEcV6IEarZ1BCn7VjM
PuRKykFSYzBhiq8LeyoZv/8rMhjBEKktDybEXYUwBJTtDKPUzByXM8mhoCAqzLTk
QftQRqaU4uHIdE69PBbczmJV3ch4qyplbXPlbJZKigRzxHAmNvJhLrXJN3FcGpAf
slRjSo0h59BCThNH4ho5HfKw2Qj5vI+zbZxoSks3v+tkGzOf6EmhqwnJCy3zg2J5
7+RkC1ulDCH9
=aAic
-----END PGP SIGNATURE-----