Source Package: coq (8.1.pl3+dfsg-1)
Links for coq
Debian Resources:
- Bug Reports
- Developer Information (PTS)
- Debian Changelog
- Copyright File
- Debian Source Repository (Subversion)
- Debian Patch Tracker
Maintainers:
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)
- Debian package development tools
-
- 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, ocaml-nox
-
- 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/