源码包: coq (8.6-5build1)
coq 的相关链接
Trisquel 的资源:
维护者:
Original Maintainers:
- Debian OCaml Maintainers (Mail Archive)
- Ralf Treinen
- Samuel Mimram
- Stéphane Glondu
- Enrico Tassi
外部的资源:
- 主页 [coq.inria.fr]
本源码包构建了以下这些二进制包:
- coq
- proof assistant for higher-order logic (toplevel and compiler)
- coq-theories
- proof assistant for higher-order logic (theories)
- coqide
- proof assistant for higher-order logic (gtk interface)
- libcoq-ocaml
- runtime libraries for Coq
- libcoq-ocaml-dev
- development libraries and tools for Coq
其他与 coq 有关的软件包
|
|
-
- adep: debhelper (>= 9)
- helper programs for debian/rules
-
- adep: dh-ocaml (>= 0.9.5~)
- helper tools for maintaining OCaml-related Debian packages
-
- adep: ocaml-nox (>= 4)
- ML implementation with a class-based object system (no X)
-
- adep: ocaml-best-compilers
- 软件包暂时不可用
-
- adep: ocaml-findlib (>= 1.4)
- management tool for OCaml libraries
-
- adep: camlp5 (>= 5.12-2~)
- Pre Processor Pretty Printer for OCaml - classical version
-
- adep: liblablgtk2-ocaml-dev (>= 2.14)
- OCaml bindings to Gtk+ version 2
-
- adep: liblablgtksourceview2-ocaml-dev
- OCaml bindings for libgtksourceview2, a source editor GTK+ widget
-
- adep: texlive-latex-extra
- TeX Live: LaTeX additional packages
-
- adep: hevea (>= 1.10-7)
- translates from LaTeX to HTML, info, or text
Download coq
| 文件 | 大小(单位: kB) | MD5 校验码 |
|---|---|---|
| coq_8.6-5build1.dsc | 2.3 kB | 505fd2781d123ed6b5ebcd707cbda6f2 |
| coq_8.6.orig.tar.gz | 4,891.2 kB | 6449ee951a4ed1c7e03adbdadf36e516 |
| coq_8.6-5build1.debian.tar.xz | 21.4 kB | 246d0f061fef9ac38c5fac8b87506636 |
- Debian 软件包源码仓库(VCS: Git)
- https://anonscm.debian.org/git/pkg-ocaml-maint/packages/coq.git
- Debian 软件包源码仓库(可在线浏览)
- https://anonscm.debian.org/git/pkg-ocaml-maint/packages/coq.git