源码包：coq（8.9.0-1）
coq 的相关链接
Debian 的资源：
维护小组：
- Debian OCaml Maintainers (QA 页面, 邮件存档)
- Benjamin Barenblat (QA 页面)
- Ralf Treinen (QA 页面)
- Samuel Mimram (QA 页面)
- Stéphane Glondu (QA 页面)
- Enrico Tassi (QA 页面)
外部的资源：
- 主页 [coq.inria.fr]
本源码包构建了以下这些二进制包：
- coq
- proof assistant for higher-order logic (toplevel and compiler)
- coq-theories
- proof assistant for higher-order logic (theories)
- libcoq-ocaml
- runtime libraries for Coq
- libcoq-ocaml-dev
- development libraries and tools for Coq
其他与 coq 有关的软件包
|
|
-
- adep: debhelper (>= 10)
- 用于 debian/rules 的帮助程序
-
- adep: dh-exec
- Scripts to help with executable debhelper files
-
- adep: dh-ocaml (>= 0.9.5~)
- helper tools for maintaining OCaml-related Debian packages
-
- adep: dh-python
- 用于打包 Python 库和应用程序的 Debian 帮助工具
-
- adep: ocaml-nox (>= 4.02.3)
- ML implementation with a class-based object system (no X)
-
- adep: ocaml-findlib (>= 1.4.1)
- management tool for OCaml libraries
-
- adep: camlp5 (>= 6.14)
- 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: libounit-ocaml-dev
- Unit testing framework for OCaml
-
- adep: python3
- 交互式高级面向对象语言（默认 python3 版本）
-
- adep: rsync
- 快速、多用途、远程（及本地）文件复制工具
-
- 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.9.0-1.dsc | 2.4 kB | 77c6f5e9b407b3e50e0d82c9138225c4 |
| coq_8.9.0.orig.tar.gz | 5,269.3 kB | 63e06c572a4503e22c651ce8b0237efa |
| coq_8.9.0-1.debian.tar.xz | 27.2 kB | d5d3dccd2c2f9cbe26c960d237c7c86f |
- Debian 软件包源码仓库（VCS：Git）
- https://salsa.debian.org/ocaml-team/coq.git
- Debian 软件包源码仓库（可在线浏览）
- https://salsa.debian.org/ocaml-team/coq