packages原始碼套件： coq-doc (8.3pl2-1build1) [multiverse]
coq-doc 的相關超連結
Ubuntu 的資源：
維護者：
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (郵件存檔)
- Samuel Mimram
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
外部的資源：
- 主頁 [coq.inria.fr]
本原始碼套件構建了以下這些二進制套件：
- coq-doc
- documentation for Coq
- coq-doc-html
- documentation for Coq in html format
- coq-doc-pdf
- documentation for Coq in pdf format
其他與 coq-doc 有關的套件
|
|
-
- adep: debhelper (>= 8)
- helper programs for debian/rules
-
- idep: texlive
- TeX Live: A decent selection of the TeX Live packages
-
- 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
- ML implementation with a class-based object system (no X)
Download coq-doc
| 文件 | 大小(單位: kB) | MD5 檢查碼 |
|---|---|---|
| coq-doc_8.3pl2-1build1.dsc | 2.2 kB | e1dd37a36b136240ae970cd8d6ae4be3 |
| coq-doc_8.3pl2.orig.tar.gz | 3,672.0 kB | db415f6c5372f5a443699c62f5affcb4 |
| coq-doc_8.3pl2-1build1.debian.tar.gz | 8.6 kB | 546a3fbf1fec03f743f8e8b061427453 |
- Debian 套件原始碼倉庫(VCS: Git)
- git://git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git
- Debian 套件原始碼倉庫(可在線瀏覽)
- http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-doc.git