-----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.17.1-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 4.6.2
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), ocaml-dune, sphinx (>= 4.5.0)
Build-Depends-Indep: camlp5, fig2dev, fonts-freefont-otf, hevea, imagemagick, latexmk, libzarith-ocaml-dev, ocaml-findlib, libfindlib-ocaml-dev, ocaml-native-compilers, ocaml, 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:
 84eebaccf7d4bbbfbb65c1a7bc617b520f4fbb29 7506035 coq-doc_8.17.1.orig.tar.gz
 3ea2638c86178d985a58f5d579c553c2355629b4 7968 coq-doc_8.17.1-1.debian.tar.xz
Checksums-Sha256:
 724667de65825359081b747d41fdbead0620d43b57aa8377a27acd4b072585e6 7506035 coq-doc_8.17.1.orig.tar.gz
 feaae18115f048181e4d3c1471181c306037da14eef80070f7e48ea89dadf65a 7968 coq-doc_8.17.1-1.debian.tar.xz
Files:
 f433e678395650d7a083923479bbb3c9 7506035 coq-doc_8.17.1.orig.tar.gz
 d6ba7ff8797a1e619a897a4133e90722 7968 coq-doc_8.17.1-1.debian.tar.xz
Autobuild: yes
Dgit: d09b0a111ef348fd243dc6535137ec0aabfc5181 debian archive/debian/8.17.1-1 https://git.dgit.debian.org/coq-doc

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmTXZfsSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBOOoIAIKUNKrxmp8e3o7mOFVrc4RBMRySwYdr
JnJ9Ms+fXg7mkwR4qHjUg5JYXUMu7njup399/uJ25Oi7xFFJ5wRTMk9OB3KbJEJL
yLbeNfPj5H9cO59M9ZvrDUEhkpzFdr5drVwGYKELIjvbOQi7YVtr76OKTZ7OVmKh
aKQny1Jn0Slar7uh6aM+XVZPxvBRoJA/ocgqCDAqjKSUp59f509K78n+hXcg9ndZ
FKkklWxLFlIcsPUaWd3UGYI3tPHXE+R4uPD7mowK8U+hiji867eXWek+eHywYJwv
MB05t8T1Qujv9Qd9I6tRHeGCSnDIeqZUAbVVbkhlXy/XgWKLeI0rfLs=
=ZkKp
-----END PGP SIGNATURE-----