Source Package: coq (8.1.pl3+dfsg-1) [universe]
Links for coq
Ubuntu Resources:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Ralf Treinen
- Remi Vanicat
- Stefano Zacchiroli
- Samuel Mimram
It should generally not be necessary for users to contact the original maintainer.
The following binary packages are built from this source package:
Other Packages Related to coq
|
|
-
- adep: camlp5
- Pre Processor Pretty Printer for OCaml - classical version
-
- adep: debhelper (>= 4.0.0)
- helper programs for debian/rules
-
- adep: dpatch
- patch maintenance system for Debian source packages
-
- adep: dpkg-dev (>= 1.13.19)
- package building tools for Debian
-
- adep: hevea
- translates from LaTeX to HTML, info, or text
-
- adep: liblablgtk2-ocaml-dev (>= 2.4.0)
- OCaml bindings to Gtk+ version 2
-
- adep: ocaml-best-compilers
- virtual package provided by ocaml-native-compilers
-
- adep: ocaml-nox (>= 3.10)
- ML language implementation with a class-based object system
-
- adep: texlive-latex-extra
- TeX Live: LaTeX supplementary packages
Download coq
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| coq_8.1.pl3+dfsg-1.dsc | 1.0 kB | ad66f75e3da720e59c388d7296a7fb2d |
| coq_8.1.pl3+dfsg.orig.tar.gz | 2,475.2 kB | 35571b435de17bc560f018be53585822 |
| coq_8.1.pl3+dfsg-1.diff.gz | 15.2 kB | f56b319a4f74365422613f6614524961 |
- Debian Package Source Repository (VCS: Subversion)
- svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/coq/trunk
- Debian Package Source Repository (Browsable)
- http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/trunk/