-----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-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.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
 72dba5a4de47ab003e1032ecb182fe83827ad5b7 8820 coq-doc_8.20.0-2.debian.tar.xz
Checksums-Sha256:
 b08b364e6d420c58578d419247c5a710f4248bab962a46e542d452edac9e7914 7839432 coq-doc_8.20.0.orig.tar.gz
 6dfb06fb53e171367e4ac484de4fcc2c748d59d2c075efbb28ed5006ef566992 8820 coq-doc_8.20.0-2.debian.tar.xz
Files:
 66e57ea55275903bef74d5bf36fbe0f1 7839432 coq-doc_8.20.0.orig.tar.gz
 c295e2476e873be9f8eb6a2f4790b3bc 8820 coq-doc_8.20.0-2.debian.tar.xz
Autobuild: yes

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmeSr2gZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWj3D/9GElPuuB/Ly0mtP8dJuEK6
FSi3TH3iw9WJ6YLutxxFylO+9yfSxENKlChdEBG39OCxsS7/akGaZ4MIFu55Agf5
AmSYdrr9pSvwNOOG1HdVxPbo863sjWcaheD0XVJx48CBoGdFMFCTTHVj702RtRWn
kP+Mcg7mBoKidB6MdxZjEoGJgrb89nTL7EjweTbC3xJwidnFUpVeShIDZPwo5bWw
YK8ODBd7oscoFwCFe9neLBGm7gPVZxcf0wFJ0HT61zAlR4h0J2wIU9Y0CyKqKZ1k
t5fAUTkgDmcqWaIitN6J/mOKAqa1dHcrjC7ocG+Yu3l4eZhMutm2CieFAjAXRGf1
s1IyyRWcD4/SllsE2rh/fv2u5YQbTIee5xJTfx0FGtxCIUD8Wkxey/4xbp2fIzWk
Df/V71nRrcQCSOBnU1fUMtm7FTanc4Wsu/R9tZX2DJyXYh5JvPdaou6sb6M8xc8p
nrkhSJUA4QteDE3Zo08VcTJGeDnm5lRzY9cFYWVwUTDrwlpSXvijD7k1qpeqItHi
kIxQyPDQphW0NMu2oXRveUJHGXfMAoFV6UPvASkc+onugKYpJaY1GfKDF31eUP/4
KgH2fbTrFxVUuC3XfGz196pnfcwz5Ljd4wG889VSJvTpuz5eYlip0FCzgYiAMSwQ
0K04w+1uXrpgo6wRXAAjIQ==
=5+YR
-----END PGP SIGNATURE-----