-----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.1-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, 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:
 970018779156e04da3b7fa1817a9ebac88de6cf7 7401345 coq-doc_8.16.1.orig.tar.gz
 03ca68e543de5af607bcd3166caed6f6349d5d02 7820 coq-doc_8.16.1-1.debian.tar.xz
Checksums-Sha256:
 583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b 7401345 coq-doc_8.16.1.orig.tar.gz
 9452d2c8da75fbd7bea82f5f02ec85e4de9f2e5e8d50aeb376569dae5bcc6dd5 7820 coq-doc_8.16.1-1.debian.tar.xz
Files:
 4d384dbf8979c3a123d732eac4e261b0 7401345 coq-doc_8.16.1.orig.tar.gz
 35d9605162e8a37b41a5aae3d8947b1b 7820 coq-doc_8.16.1-1.debian.tar.xz
Autobuild: yes

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOToPESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRjZgP/iuStN7uyByQLT2735DdEPdMuYjbSJh1
vlalmTwU+Jf4ZIxdITynDiP85zcbapTyaqiqJPA0nB//WDUK+e+n4iHXtPfwtH8a
Usi8mptSKIuc5TsLFnWNMpm43ZW+dvaJOtptQOBeq2U98WrJWT1N9JJM/DsPoP+I
HnhOU9UeWe9hVJkPApM7FypCbBvb3ts5oZ7L18tgsF/oSNJLIjSqnZpc26csZuJm
L00zBZUzdyVSRsxLxr1XI9rnIUiNv1yzNJdnt1DZmCO/aCacyJYZWeZFS53uxUtv
d/ztMD0dP45wDs2QaTv0iAEetKmnFs8DYK9igatzAjyFOeIWHgG9K7jcigRbX4w2
Noe4w/8vHg9Bu2NRuX2vlpu8UJ6wTi6N6Nh0xx/hon30swpHFKWfp0JDgHBzbimc
nOyECo8xx3CYxh21XEpaU92NXvwgL8FlY+lgyooCKBpB4l8T7Zwn0+eBpZe4eV4T
V8VAvkSplqNE6BnXfrZTIr2Oi+cajLywpqJGwAU5Nc0XEqPQtPKnvPkj8li4w5YN
REvZlLVW0QjSgmLdcgKlCsMup65DKk8MlWwcIZRnSaW7WhTHMRGBAJYGgBS9tXtJ
SDm/qEexPLYltVKOtR98fLXlGP0W0uBqM4zoDu4CFj+jW5OLozkYjnyQu8cEnsDt
sdHGha2YHevJ
=7YLj
-----END PGP SIGNATURE-----