-----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.0-1
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.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), dune
Build-Depends-Indep: texlive, texlive-base, texlive-latex-extra, texlive-science, texlive-lang-french, texlive-humanities, texlive-xetex, hevea (>= 1.05), imagemagick, fig2dev, camlp5, ocaml-nox, ocaml-findlib, python3-antlr4, sphinx
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:
 8382e4f5c16bcd197c30d6cb58210b4d1550057c 7215106 coq-doc_8.15.0.orig.tar.gz
 3d40bca60c41e21909779777e4846b5973b1e1f3 7480 coq-doc_8.15.0-1.debian.tar.xz
Checksums-Sha256:
 73466e61f229b23b4daffdd964be72bd7a110963b9d84bd4a86bb05c5dc19ef3 7215106 coq-doc_8.15.0.orig.tar.gz
 da91a3992e303b5de098a41c3f29222be867e02eb5fe1dd196fdaa72cada2db8 7480 coq-doc_8.15.0-1.debian.tar.xz
Files:
 cfa91d270e013b0ebe49120c2101d010 7215106 coq-doc_8.15.0.orig.tar.gz
 11d21da11ffe765db95f5e5a5648702c 7480 coq-doc_8.15.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmICmEoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVROwgP/1DtjvKlDOjQOXBm/mu8FGEsZFy+pbG3
YgJKl3iqkx91KcqjHPqrSmmY1kM0xQmFAmC1QryAQ1kWaf3Ehdq3pfOq7tcP5NG1
3JTPfj6gCIeLcZjr5nhGKadnFcKdBMli6VFfMQMF8MbdQQl0u2Mukz9NQehK+FQY
3gmQ3Xm9alBy5iwiJWWdwdXGNcPAGJv6fQ5Ge7DfRollqTnKn+I3nv3RD7EKQQjl
MQ+siab4HhTn7VxHChnPWk+46GyGW7ns2dBHiLB5vd8dlU2hOf0sUw6XVxnWakL9
qbxC3fc2xiGWl5lgOZaJIBeTZJCu8xk1hdVMBEWfPi5RgIVcGyqyDfMIyK0Pahy+
N6l06l7ggUMY87gJsMfVmJbrtH1qkoe591SS/T7bZRLASwX0PzqvJcP5TjgoATcb
5MT7pnrv1kiHslkWPvqkTO6b4X0VQMInM/4F9pqg2DKdt7W4ZtoL7dva6si+1gaX
3n6ylzycqBbw52VgX+hkBKknBOZZol2CSMXyr5umkjqm1tO1VJSTmaZHdv2iuhq3
0HBN9FH202iaGSTqK++1AhmIST6g9VPhHeTB+anY63tavwD3XThZ4fnCCU5jRh5i
pQWy2MlsHQiTluAbf93UzT7z/I7fn8XQBNBAIi0DWrEgpHq9F12o3u2t99+ikfQX
NAPnuXNoSqjj
=ReVk
-----END PGP SIGNATURE-----