-----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 <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, 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:
 fb02fea07df50c9a3036d7f092769f9e35a00ced 7222794 coq-doc_8.15.2.orig.tar.gz
 daebdcf6ee4ff620430c1595e72131aa03ab8ad8 8236 coq-doc_8.15.2-3.debian.tar.xz
Checksums-Sha256:
 13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926 7222794 coq-doc_8.15.2.orig.tar.gz
 6925c470d10ccf6bb168c6f4df77cedf1255086e12ae67d8b283febb2ad5b400 8236 coq-doc_8.15.2-3.debian.tar.xz
Files:
 8a6c4808585731292919d75e089954e3 7222794 coq-doc_8.15.2.orig.tar.gz
 570f75a62771acdd8ba4856c70b5bddb 8236 coq-doc_8.15.2-3.debian.tar.xz
Autobuild: yes

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLP7YASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVREysQAJ7DOhUcadXyPbUyYs8VBXkfj+Rocmwd
fpUmZkFRRtQ9ZJyi6bBAdUKKZ7kF6WaSKIOVkd3F3VmbuEY4nFY9aOpxBuDeZgls
UjkgKqtaAw7COEUwkysSwAmqt1xvgBSB+3uB9QM7p81TsDrtMhpywwTlNWUs0ewA
uhfsAWWFyLDQk8/0YN+8/aQX8hCnStb21W59swhkn/CiiNzUvVI7pAeZ8JXLss06
Z2B9UyRMbaTeCb6BzUj4pQ/gexqVzm+XwQxJbwbWKuFUmswhfC4H6Iy+eBSPcMzv
kvcL7Mp/+WzXNZOqw9nR6rOUZSLiKMYV4gyvLefTYNP/twsL425AYVW17hxSF89p
eUUtvzgFKi79qy3zMdyOXrumFQvPwmKBpCkXFxcpL/c8/4Q6c8+lNVwaaP6+SEs9
oHCCuLkxUmdCmrOPFle+b79bw5NLd/OyH9PzBBpIlSGiga5+YAZrzs/3QOyopGDd
FyOChvMG3IlVfEcZfG+KDcgbHY3jHicPMnZel5U7GSKvljOfHW0/1waU1rdG4Kps
qjXWnpGZC06vNohRs8qYYiQzJa9A4PjuKC6IQOvCdjckLyiHt7Vu7OWB2PoIdcAL
SelMCssAc7o5q81TcUH6qK5g+RNpHXMm2N9i407HQq1iMGg1ISJFcaxG11lwPOXJ
xqn77GGNEzVN
=WLCz
-----END PGP SIGNATURE-----