源码包：coq（8.12.0-3）
coq 的相关链接
Debian 的资源：
维护小组：
- Debian OCaml Maintainers (QA 页面, 邮件存档)
- Benjamin Barenblat (QA 页面)
- Ralf Treinen (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)
- 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-compat (= 13)
- 软件包暂时不可用
-
- 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.05)
- ML implementation with a class-based object system (no X)
-
- adep: ocaml-findlib (>= 1.8.0)
- management tool for OCaml libraries
-
- adep: camlp5 (>= 6.14)
- Pre Processor Pretty Printer for OCaml - classical version
-
- adep: liblablgtk3-ocaml-dev
- OCaml bindings to Gtk+ version 3 (development files)
-
- adep: liblablgtksourceview3-ocaml-dev (>= 3.0~beta8)
- OCaml bindings for libgtksourceview3 (development files)
-
- adep: libnum-ocaml-dev
- library for arbitrary-precision and rational arithmetic (development)
-
- adep: libounit-ocaml-dev
- Unit testing framework for OCaml
-
- adep: python3
- 交互式高级面向对象语言（默认 python3 版本）
-
- adep: rsync
- 快速、多用途、远程（及本地）文件复制工具
-
- adep: tex-common
- 用于构建和安装 TeX 的通用基础架构
Download coq
| 文件 | 大小（单位：kB） | MD5 校验码 |
|---|---|---|
| coq_8.12.0-3.dsc | 2.4 kB | 74fa59ff625160361d54e4f008bbd61b |
| coq_8.12.0.orig.tar.gz | 5,867.4 kB | fb63dc40943c353977fe4da5f0e88002 |
| coq_8.12.0-3.debian.tar.xz | 36.9 kB | 3957663116163b8bae95288b66e400bb |
- Debian 软件包源码仓库（VCS：Git）
- https://salsa.debian.org/ocaml-team/coq.git
- Debian 软件包源码仓库（可在线浏览）
- https://salsa.debian.org/ocaml-team/coq