Source: coq-doc
Section: non-free/doc
Priority: optional
Maintainer: Debian OCaml Maintainers
Uploaders:
Samuel Mimram ,
Stéphane Glondu
Standards-Version: 3.9.5
Build-Depends: debhelper (>= 9)
Build-Depends-Indep:
texlive,
texlive-base,
texlive-latex-extra,
texlive-math-extra,
texlive-lang-french,
texlive-humanities,
hevea (>= 1.05),
camlp5,
ocaml-nox
Homepage: http://coq.inria.fr/
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq-doc.git
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-doc.git
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}
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.