-----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.0-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.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:
 8382e4f5c16bcd197c30d6cb58210b4d1550057c 7215106 coq-doc_8.15.0.orig.tar.gz
 c988c5eab24607a2193eb56b16c7b515002e6e1b 7600 coq-doc_8.15.0-3.debian.tar.xz
Checksums-Sha256:
 73466e61f229b23b4daffdd964be72bd7a110963b9d84bd4a86bb05c5dc19ef3 7215106 coq-doc_8.15.0.orig.tar.gz
 215ec135c804ec5fe7788c56efca77378fbfc92cee61f8ea9e68f58576472fb9 7600 coq-doc_8.15.0-3.debian.tar.xz
Files:
 cfa91d270e013b0ebe49120c2101d010 7215106 coq-doc_8.15.0.orig.tar.gz
 ecbbf32e0a19e11ddbf511c83022f00a 7600 coq-doc_8.15.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIU4MgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRP0gP/20I2SMpqAjwFToR+EzpJDb/jFmBgML1
nNZKNixRXJ4aDNiRs3pIXbyphK3VlIQ5nRrRgpehWZt73Qqs6BmdHxfqTc2gmmxk
aNhCHl7L64hY/M1cCTY9hUf/y7xixaDlQDevDzpDQZ1ajaKV+VMOKtHLEjmDwEy3
n86J81ER6zU3Rw2iH/H4aQqy8wZ+n92cXfF7JYLosXBF2LTrBoa2iuYxuijWO3P3
lcLhtuGt2v40d5i41j4sk6IpDqKoOhNVraRu8LbcOFjfe4/sRRZJq+PVqzj014Uo
9ONYbcZpSROVMIyCilbYqjRgn8/smgvzWRLMBrvkb/Zd/pomU0AGQsixtmcU0aWt
bONG4CKrEZ8YZIlmIOddmPES4loQNQVrPBYQVGIZW5lPMVlsaw1HAy+hH4NCQmKt
GSsT6neXyVg8H3VKrGbBJbKasDk5fpihrl3r4dvRVNA1F3cE/GOKkadlr10KPOwd
lmtL2xa44jafxEnworC1rUnol35uMU+ewfpxwBcmsrbRVii+mlIbAMZ7kRtWvypH
Czbp1+qZ4Vr/s7R1qemELSth3LtmAWjBHfBeLVEcmPgbZRq+u+BsP5V6HMUf0Tca
kribbzZdhSAMNcMl0AxL2N/Ozh9qN1yp1fmD6yoj7i+cJWW4EwSM0q68Zv+bCUL1
qijRVZTMahxj
=kJBH
-----END PGP SIGNATURE-----