-----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.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.0
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-nox, python3-antlr4, python3-bs4, python3-pexpect, python3-sphinxcontrib.bibtex, python3-sphinx-rtd-theme, sphinx, 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:
 8b7102775258ed3409c61b001602b8e8c73446b0 7221470 coq-doc_8.15.1.orig.tar.gz
 cf2a99ebd5453f4761843bdb021357d50dc3c287 7620 coq-doc_8.15.1-1.debian.tar.xz
Checksums-Sha256:
 513e953b7183d478acb75fd6e80e4dc32ac1a918cf4343ac31a859cfb4e9aad2 7221470 coq-doc_8.15.1.orig.tar.gz
 a6f85c9c1e5397861abff6beda5c04594f52f0277fe6e9125080987ac78e992e 7620 coq-doc_8.15.1-1.debian.tar.xz
Files:
 1df111d6415440adf1cf9ff5ce99b8a9 7221470 coq-doc_8.15.1.orig.tar.gz
 dbe606d34490f2b4dd92725935e20ddf 7620 coq-doc_8.15.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJEGhsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR1kAP/j4Ry6sKJ6S4in+i6C88Qxhc1kOY2jo6
EXX89WW03y185bb3Pl35TveL2wkPEwBu3X7E4cx8KV6aD7sjDWnGuTUZfQupaDRg
QoycUT478Xg+uGP43ybJiS1KcOhzrVi3oJfJN1mW7rtbVF3tKTFxslrrOeOo4mcY
qrDTmZxhPiN6r7Pz5g6MEB24zcmQGzBWwYRXOGXtHdPbZGnduyGoqsrSfOiXCkwt
TOgTY9tjcHhOmkEhrsccXNsrbPyD5TV19drvW5bIadBYJGOxhvbiPH7E9LJDdakf
NuhorP8G1Sl1z3d7QPH6NzIiOlbM/ZxeTlw4tv8DL7dlFFyKCfR1cGogPgqXTn2C
nk02si2VDNV+H+3cPiBlKxnh4ZJ0l8wVvMkSVehWPKSSXrzAE/hIJ6OPh40J0skB
jBg2TPLgBy34wbBD7nuahJ1NwDHz5deMcJG6c1iIXPNk6CZfulm68ZFrdyc8llUK
lQGkGJHeRP8yC8Y2+uLv1bJpQZFh3qV/+qcMCjKIyiKwvr4qXy5s7k3orh8YHKho
XtQv7hnv08mBbm8PN5KM2+Cbvl0eqgTC+7blqACNOCxI2Hgy8a9rt+LQ6awdA1fb
VBmPMsNTD58XsUlugMPmkwXPMvfOfhlKHwHtCdwX0iSTZjGKzdlpBWBYIa4uxsRj
3qvQeexNdAvC
=Yxb0
-----END PGP SIGNATURE-----