Source Package: coq (8.2.pl2+dfsg-1)
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-dev
- development libraries and tools for Coq
Other Packages Related to coq
|
|
-
- adep: debhelper (>= 7.2.11~)
- helper programs for debian/rules
-
- adep: dh-ocaml (>= 0.9~)
- 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.2.pl2+dfsg-1.dsc | 2.1 kB | 3a026518c5d8b4adf35b79cad23629f2 |
| coq_8.2.pl2+dfsg.orig.tar.gz | 3,068.9 kB | 64093f3b22d6f49418b4d5267925141b |
| coq_8.2.pl2+dfsg-1.debian.tar.gz | 16.4 kB | 22f7bc31e1ad9289856fb92824e0e2bf |
- 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