Format: 3.0 (quilt) Source: coq-doc Binary: coq-doc, coq-doc-html, coq-doc-pdf Architecture: all Version: 9.2.0-1+ocaml1 Maintainer: Debian OCaml Maintainers Uploaders: Stéphane Glondu , Julien Puydt Homepage: http://coq.inria.fr/ Standards-Version: 4.7.4 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: 4af9591d282f600ca5afe27bf5d4acb19f823fd5 6559931 coq-doc_9.2.0.orig.tar.gz 9b1038d8d10f1abf8b8e8960cd819d3b5e0f6c10 8692 coq-doc_9.2.0-1+ocaml1.debian.tar.xz Checksums-Sha256: a45280ab4fbaac7540b136a6b073b4a6db15739ec1e149bded43fa6f4fc25f20 6559931 coq-doc_9.2.0.orig.tar.gz 729ba367df07d64e41f0357a973adbce5b580a9fc610d3ac340e6991d45ef1f6 8692 coq-doc_9.2.0-1+ocaml1.debian.tar.xz Files: de041a7ef5baad224c7594d03716acf3 6559931 coq-doc_9.2.0.orig.tar.gz 100378a703472f8a83ed23b6551b5753 8692 coq-doc_9.2.0-1+ocaml1.debian.tar.xz Autobuild: yes