-----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-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, ocaml-nox, python3-antlr4, python3-bs4, python3-pexpect, python3-sphinxcontrib.bibtex, python3-sphinx-rtd-theme, 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
 ba9565b4551b5f38daf27e8083a2941fd2647db4 8180 coq-doc_8.15.2-1.debian.tar.xz
Checksums-Sha256:
 13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926 7222794 coq-doc_8.15.2.orig.tar.gz
 3e5b1ad6e8efd163a8c9178d9ad55790ad8ff477f66712fe7c8c008664ea1b58 8180 coq-doc_8.15.2-1.debian.tar.xz
Files:
 8a6c4808585731292919d75e089954e3 7222794 coq-doc_8.15.2.orig.tar.gz
 3a79fe8bd3dd69e1ff7b06f9afbf3d64 8180 coq-doc_8.15.2-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKqRyUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoDEP/0NKDsjmbO+umyLl/wMe4yZvG/FdaibK
epc5RTRLDOAePkrukPnxzOWA8OGXlJPB+qWTTA2Bbmbks8tiC8A+7wwI4bAiyTkp
IS7CDCCsRwxiZmirCMcX2v69ztrzkdXYoSQPGgp4BHjN5gNux3qNQKkr7bEtT0fZ
CoDWN5AujNQ0rfXRLYbWIiVqCA44C5We+tFMYXpS/v0woQ6XgXDcgp9ZsxLyoa3Y
fw3VbSLBRDQ9I08oL0C90ZmEOUykbbO0XAcUxyamK04ov97iczjnPV42hmg1w1ni
TyzWi09d3Qi+j/1uYdZY9C+LWQZCJpiaPZ9OC1HGs39Mbjccn1742LnpDfZ5cH9s
Uc45pINQy5ghxCgonOb2d6SiV3cFq8s7ZebL9aRaWdne2636FW7GZW0cLwXzJ3Fp
+t2Vq+yZtDURAy5yhDq+yfTJlaJTBsbSeZ+lc3lpcFdGy9Vu/FF6XhRBQGOLK3c7
5u4Av3B0ksFIC4QnDgVUN1A3gpJwZi7jeN6gl9RT3hZIz3DMXFLytf1aYw4QA6x5
6ndG7PDxCotIp7zrHgiZW+K6Gsi98Xgwg44VgONfuY/c641o2VpjdHMmQBkfgRu7
XXdWqviXQOkbA9ELlEmF4ckZaOAkKXCeveiQ4FZ2i2ccRjsidABc+xCF/qaN4EqS
lUQqL0K0xNs+
=/Yq6
-----END PGP SIGNATURE-----