2
2
Section: non-free/doc
4
Maintainer: Samuel Mimram <smimram@debian.org>
5
Standards-Version: 3.7.2
6
Build-Depends: debhelper (>= 4.0.0), dpatch
7
Build-Depends-Indep: texlive, texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french, texlive-humanities, hevea (>= 1.05), coq (>= 8.1)
8
XS-Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq-doc
9
XS-Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq-doc/trunk/
4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
6
Samuel Mimram <smimram@debian.org>,
7
Stéphane Glondu <glondu@debian.org>
8
Standards-Version: 3.8.3
9
Build-Depends: debhelper (>= 7.0.50~)
20
Homepage: http://coq.inria.fr/
21
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git
22
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-doc.git
13
Depends: coq-doc-html, coq-doc-pdf
14
Description: documentation for Coq in html format
26
Depends: coq-doc-html, coq-doc-pdf, ${misc:Depends}
27
Description: documentation for Coq
15
28
Coq is a proof assistant for higher-order logic, which allows the
16
29
development of computer programs consistent with their formal
17
specification. It is developed using Objective Caml and Camlp4.
18
For more information, see <http://coq.inria.fr/>.
30
specification. It is developed using Objective Caml and Camlp5.
20
32
This is a dummy package which will install the documentation in html and
23
35
Package: coq-doc-html
37
Depends: ${misc:Depends}
25
38
Replaces: coq-doc (<= 8.0pl1.0-1)
26
39
Description: documentation for Coq in html format
27
40
Coq is a proof assistant for higher-order logic, which allows the
28
41
development of computer programs consistent with their formal
29
specification. It is developed using Objective Caml and Camlp4.
30
For more information, see <http://coq.inria.fr/>.
42
specification. It is developed using Objective Caml and Camlp5.
32
44
This package contains its documentation and tutorials in html format.
34
46
Package: coq-doc-pdf
48
Depends: ${misc:Depends}
36
49
Replaces: coq-doc (<= 8.0pl1.0-1)
37
50
Description: documentation for Coq in pdf format
38
51
Coq is a proof assistant for higher-order logic, which allows the
39
52
development of computer programs consistent with their formal
40
specification. It is developed using Objective Caml and Camlp4.
41
For more information, see <http://coq.inria.fr/>.
53
specification. It is developed using Objective Caml and Camlp5.
43
55
This package contains its documentation and tutorials in pdf format.