Source Package: coq-doc (8.2pl1-1)
[non-free]
Links for coq-doc
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- coq-doc
- documentation for Coq
- coq-doc-html
- documentation for Coq in html format
- coq-doc-pdf
- documentation for Coq in pdf format
Other Packages Related to coq-doc
-
- adep:
debhelper
(>= 7.0.50~)
- pomocné programy pre debian/rules
-
- idep:
texlive
- TeX Live: slušný výber balíkov TeX Live
-
- idep:
texlive-base
- TeX Live: Essential programs and files
-
- idep:
texlive-latex-extra
- TeX Live: LaTeX supplementary packages
-
- idep:
texlive-math-extra
- TeX Live: Advanced math typesetting
-
- idep:
texlive-lang-french
- TeX Live: French
-
- idep:
texlive-humanities
- TeX Live: Humanities packages
-
- idep:
hevea
(>= 1.05)
- translates from LaTeX to HTML, info, or text
-
- idep:
camlp5
- Pre Processor Pretty Printer for OCaml - classical version
-
- idep:
ocaml-nox
- implementácia ML s objektovým systémom založeným na triedach (bez podpory X)
