Source Package: coq (8.3.pl4+dfsg-2)
Links for coq
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
- Debian OCaml Maintainers (QA Page, Mail Archive)
- Ralf Treinen (QA Page)
- Samuel Mimram (QA Page)
- Stéphane Glondu (QA Page)
External Resources:
- Homepage [coq.inria.fr]
The following binary packages are built from this source package:
- 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
Other Packages Related to coq
|
|
-
- adep: debhelper (>= 7.2.11~)
- hulptoepassingen voor debian/rules
-
- adep: dh-ocaml (>= 0.9.5~)
- helper tools for maintaining OCaml-related Debian packages
-
- adep: ocaml-nox (>= 3.11.1-3~)
- ML implementation with a class-based object system (no X)
-
- adep: ocaml-best-compilers
- virtual package provided by ocaml-native-compilers, ocaml-nox
-
- 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: texlive-latex-extra
- TeX Live: LaTeX supplementary packages
-
- adep: hevea (>= 1.10-7)
- translates from LaTeX to HTML, info, or text
Download coq
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| coq_8.3.pl4+dfsg-2.dsc | 2.3 kB | c19602442d98f960dfcd5fea31e19f9c |
| coq_8.3.pl4+dfsg.orig.tar.gz | 3,080.8 kB | 8ac619e898d046d90cd0b7b821cbeeb5 |
| coq_8.3.pl4+dfsg-2.debian.tar.gz | 15.9 kB | 34f50c26371adcf32136217b3da1d333 |
- Debian Package Source Repository (VCS: Git)
- git://git.debian.org/git/pkg-ocaml-maint/packages/coq.git
- Debian Package Source Repository (Browsable)
- http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git