Source Package: coq (8.3.pl3+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
- runtime libraries for Coq
- 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.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.pl3+dfsg-1.dsc | 2.3 kB | 6238f60606f72ae5c877e1fd2e41d568 |
| coq_8.3.pl3+dfsg.orig.tar.gz | 3,079.0 kB | 5023e70c5c8a83200654f1f724a42cde |
| coq_8.3.pl3+dfsg-1.debian.tar.gz | 15.8 kB | 58a3994fe717e1312335d7fc22aca1b6 |
- 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