源码包: coq (8.11.0-1)
coq 的相关链接
Trisquel 的资源:
维护者:
Original Maintainers:
- Debian OCaml Maintainers (Mail Archive)
- Benjamin Barenblat
- Ralf Treinen
- 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-compat (= 11)
- 软件包暂时不可用
-
- 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
- Debian helper tools for packaging Python libraries and applications
-
- adep: ocaml-nox (>= 4.05)
- 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: liblablgtk3-ocaml-dev
- OCaml bindings to Gtk+ version 3 (development files)
-
- adep: liblablgtksourceview3-ocaml-dev
- 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
- interactive high-level object-oriented language (default python3 version)
-
- adep: rsync
- fast, versatile, remote (and local) file-copying tool
-
- 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.11.0-1.dsc | 2.4 kB | 42dfa50394052c04f029eb3384520fdc |
coq_8.11.0.orig.tar.gz | 5,689.1 kB | ea1c950f8864e16455823006104ce30a |
coq_8.11.0-1.debian.tar.xz | 30.9 kB | 5bf07a30596f5db69dfcf3c4fdf0f8cc |
- Debian 软件包源码仓库(VCS: Git)
- https://salsa.debian.org/ocaml-team/coq.git
- Debian 软件包源码仓库(可在线浏览)
- https://salsa.debian.org/ocaml-team/coq