-----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.20.0-2build1
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.7.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), 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:
 c19686bcd38c1dc74e1ad785261c2e8e0b11bb91 7839432 coq-doc_8.20.0.orig.tar.gz
 7638bc0d140b5eb98a8bd1910f6f4a56dbc41517 8900 coq-doc_8.20.0-2build1.debian.tar.xz
Checksums-Sha256:
 b08b364e6d420c58578d419247c5a710f4248bab962a46e542d452edac9e7914 7839432 coq-doc_8.20.0.orig.tar.gz
 290a7f91d9e54508ff6f719edca532673222045541be2015fd1f5e62546e1a88 8900 coq-doc_8.20.0-2build1.debian.tar.xz
Files:
 66e57ea55275903bef74d5bf36fbe0f1 7839432 coq-doc_8.20.0.orig.tar.gz
 fb7276d73c6d69ed1627e1e997aceafb 8900 coq-doc_8.20.0-2build1.debian.tar.xz
Autobuild: yes

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkwCPcACgkQ808JdE6f
Xdk6yA//erbIFKsqcK8Q3sclq8kO8Gu38LM+jRO0dLlrwNyGsR7l7XtkwBpd8iqa
P5Jx6tADiaB5pcc2Wqv3BzWwP9KU3FKpo/5bcDTrqVE8UqurT8ipZUPyvdzA6Nkq
DbjB58fkWqjeSqHAng+DMWPXhpIfnethPcbrFu2DEHHI3xAoQx7VIgL9VjTj9QpU
LC4qa3MXLeOZg/fKtj75XKek/pj7nsQoOwPNSSJl+gJhOs733vGmpZHNltwfFCf5
WlHDGRuSR4nrTLZQvGnutYCpZERs/iVzJgL91lKl89y6q3KuiXZjQ3rCOHFXKo+Z
Z+WREkOE5kZogtb4EDSzhO5fJhkJ3la11vkyaeN+bBZmWwR6w9/43TAUmjtkgtNY
BZdjn3yOegl5k9acHha3gtGBiMyw4eaL38v5rdKq0Q7ico8mJoBsgZotOMCbPDIU
c+t7HSYsQadrTHyDKm5hpIhMdlxBfiY9kQCSDL71JJdygV5KmIECtbC+SB0yONZZ
eqD4U33KjIJ+2JjK58qNfXd/HQjCpo+Po3gBkgSa3YiATP9kIvdzQayhIUeZxZyM
Is7C+5HZ4faWSwUpplhfFKarWqC0eT2Fax7cEzGT+sJwwvgC0ZsdFAyuv2A4hajN
8vWZ5GHOk2IfLXvRdyaGn9sYwK/GM3RpwoAnUdAto2jJQ8lrTQ8=
=d1I/
-----END PGP SIGNATURE-----