Source: coq-doc
Section: non-free/doc
Priority: optional
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>
Standards-Version: 4.6.0
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,
                     texlive,
                     texlive-base,
                     texlive-fonts-recommended,
                     texlive-humanities,
                     texlive-lang-french,
                     texlive-latex-extra,
                     texlive-science,
                     texlive-xetex
Homepage: http://coq.inria.fr/
Rules-Requires-Root: no
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-doc.git
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-doc

Package: coq-doc
Architecture: all
Depends: coq-doc-html (>= ${source:Version}),
         coq-doc-pdf (>= ${source:Version}),
         ${misc:Depends}
Description: documentation for Coq
 Coq is a proof assistant for higher-order logic, which allows the
 development of computer programs consistent with their formal
 specification. It is developed using Objective Caml and Camlp5.
 .
 This is a dummy package which will install the documentation in html and
 pdf formats.

Package: coq-doc-html
Architecture: all
Depends: ${misc:Depends}, ${sphinxdoc:Depends}
Replaces: coq-doc (<= 8.0pl1.0-1)
Description: documentation for Coq in html format
 Coq is a proof assistant for higher-order logic, which allows the
 development of computer programs consistent with their formal
 specification. It is developed using Objective Caml and Camlp5.
 .
 This package contains its documentation and tutorials in html format.

Package: coq-doc-pdf
Architecture: all
Depends: ${misc:Depends}
Replaces: coq-doc (<= 8.0pl1.0-1)
Description: documentation for Coq in pdf format
 Coq is a proof assistant for higher-order logic, which allows the
 development of computer programs consistent with their formal
 specification. It is developed using Objective Caml and Camlp5.
 .
 This package contains its documentation and tutorials in pdf format.
