1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
Source: coq-doc
Section: non-free/doc
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>,
Julien Puydt <jpuydt@debian.org>
Standards-Version: 4.7.0
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
Homepage: http://coq.inria.fr/
Rules-Requires-Root: no
XS-Autobuild: yes
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}),
node-mathjax-full,
${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.
|
