-----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-2
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
 310d8f7aa998e15dcc09fddcfc7b749fe7d207d2 8220 coq-doc_8.15.2-2.debian.tar.xz
Checksums-Sha256:
 13a67c0a4559ae22e9765c8fdb88957b16c2b335a2d5f47e4d6d9b4b8b299926 7222794 coq-doc_8.15.2.orig.tar.gz
 a47a7785308f429275d73f49a5ae27d604f23f2c89c6db29c1e0953d503b3caf 8220 coq-doc_8.15.2-2.debian.tar.xz
Files:
 8a6c4808585731292919d75e089954e3 7222794 coq-doc_8.15.2.orig.tar.gz
 6325e1df9826b304a955a96557102447 8220 coq-doc_8.15.2-2.debian.tar.xz
Autobuild: yes

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKqyJsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRwnEQAJpDb50BKALro2RqC05f7ukY83oVx2pE
q4BgZl3JOXCZP3luwT/b2ldM5MQJz7rtF4Pv6fXXWO1bLP88LAOK+1glgvHwCWxG
udVeZQCtToD8jgt3dOQt+Ap5hsvcR79IWsQRCX2uglDbdRyrCmNYYmRUY8TLE+Xx
WsnkVTzggmKNlMzQLPd3nSrWWPfP6p0KD2w3aoduMLWK2IKyGbb59Gu+bTSelvvA
3dapps4+3pKkrrV/j5qaL01imiu/m56yDKK4cA4siA2ynIK3WCfcQiMVa2IDyO41
L4gjzNoOvkvBTe4+UKoucCenk4ZlWJ0mWSsXun8fdPyOPWOwfYGaq6lMbGHcLyXX
UuwMwilUMitAqFjs+n3hvMUwKZN6lCfU22nfnmmdX/X/Z9q/XWVnyIVgVAvO3Cky
9QUxtGqfTwj19PoiOWjGhkZ3KCVbr3aeD/WVFXfI+zTA3NRhDdzexF++q8p+Vwu+
9czZxFdoi92VRHcPeYxR4AlA6U2prdNZqPsLiM4R4qU28O/Kb/ckgK2XY/pADauF
+JqIdXqt6bkye1rrCJ/G65GUyjndVwKlcEAg2Evlyigf1OPidziSlNgcDMwFu6Tr
8KrcH0NWGylS6ej9Nmw63DU1kGDVpfICYz/abx7Fi94i7PQNy2/IZ9GXa8G9iXdf
iRIDsuP9nQWR
=uc0m
-----END PGP SIGNATURE-----