-----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-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: 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
 ff60793332eaebfb6d5b97409cf8599b945e1a70 8080 coq-doc_8.19.1-1.debian.tar.xz
Checksums-Sha256:
 1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674 7675945 coq-doc_8.19.1.orig.tar.gz
 b6b54677eef0e3d406a2bf296f7c77b0b8b20a9e432a8f4990b3189f117c8769 8080 coq-doc_8.19.1-1.debian.tar.xz
Files:
 13d2793fc6413aac5168822313e4864e 7675945 coq-doc_8.19.1.orig.tar.gz
 5c15462a3153fdc5a1eb3e3738c4bb16 8080 coq-doc_8.19.1-1.debian.tar.xz
Autobuild: yes

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYc0qgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVROZIQAIJ9H3oiiUsAD25ffWwnhEyBnnOBTiF1
4VBnCW1z2IGX1B9QmTUKbxL7UrwBkQTeFxNOAOO1SEM5azjqZHM1JimRxjA+6MNT
H92Ptix61NA5T0Z/WMzFIVT5UQbpA9QJ7UlwQ9V+s0KPrMFaKQglaNRYvGsaYVQr
ei4oadjY9V7Cj+H6pnsQKUy0V1pZKSOaH2Wtu/eIngX/59OdFBoCBToHNqgVke8R
LrlIGzy1K62Bl6nlWanmv9JqfbcJsps7xYGt77BKMNyEF2kB5rb2vdkIhGpjDL3c
/6Qg8zzxnwMf3/1MPg37axTrh9G1Bmt4I/zJuEd7RFoI/ANqG3Dpo98vPoPkvred
p1lzMCZvWNjWiXck+a1t2whhrjeBfo/fsjeOgkFfDKLV1F4hZV2KWpC6y6g8Jtgw
fRIVFY8P7wQZX03+51ZOY6pRr0yNCI/u96CztGhXaB1psE4eY3bspo4syCN3b9mb
vfkpGO4Qdr5Z48ANp9bnpmQR1DsQlsKczqftKef1U+If8d3vTencaa8uM9QFPPIx
ymysW8Lzh1E9ZHmAEKIlNtzgos92S8xhPf5Bywphvgh37WhoG6mBZWfHM5H+aIkg
QlXdch6oL3kvaBoifOj25k4jsONeHtEyYN+xLg8+AqSiF/lzAhHBbN+3XRBEk1IX
3axp4E6HSe/l
=vlnW
-----END PGP SIGNATURE-----