-----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.19.1-2
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: fig2dev, fonts-freefont-otf, hevea, imagemagick, latexmk, libzarith-ocaml-dev, node-mathjax-full, 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:
 c10750900544adabc9c6b5a1cbf5e908d1ace5c2 7675945 coq-doc_8.19.1.orig.tar.gz
 e97f3930ac9d0ea6dae5df4449dae50032f8444d 8128 coq-doc_8.19.1-2.debian.tar.xz
Checksums-Sha256:
 1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674 7675945 coq-doc_8.19.1.orig.tar.gz
 c1e8e6468aa88c002add62bc2b2ad6e01af5b2743d9af74145400c97b0524dd9 8128 coq-doc_8.19.1-2.debian.tar.xz
Files:
 13d2793fc6413aac5168822313e4864e 7675945 coq-doc_8.19.1.orig.tar.gz
 e06217d20ef2858d852e885541971a11 8128 coq-doc_8.19.1-2.debian.tar.xz
Autobuild: yes
Dgit: 8c5a9bc0e60b54c14db8562e8f98513d678f0a14 debian archive/debian/8.19.1-2 https://git.dgit.debian.org/coq-doc

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmZxUKkSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBKDMH/jpa+Uq3sleb0gTIEmWkhwOp+defyZ1e
/mwwHS3WPQfu840ueeAOAZnilezpqteroXRz/uLNfdITuO80FQItr91WU3ktCa9y
kUU7ms7wjmEpEWUwMQZQdXrF1eXT4ATqCgenlHjQ5JLLFRPBJy7fNJcdOeoPYz2i
HsuYhNn4f6o08uvfTWE6trwRZt5jCehkTEhwseOlnn7xUKtUYi5UmTf5kE1KNpli
s0jMTkW8OYQ6bsZVSgHO93e+xpmgLeyGY/S82M7Hcw8AYaB7vAayPZFvE0CAozOo
tTvCPjryeNWgcCdqkl3WsgKiVbtpgCN8a8sqlgg02s6YuIuWl8uKG98=
=ZzCF
-----END PGP SIGNATURE-----