[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]

Links for coq

Debian Resources:

• Bug Reports
• Developer Information (PTS)
• Debian Changelog
• Copyright File
• Debian Source Repository (Subversion)
• Debian Patch Tracker

Maintainers:

• Debian OCaml Maintainers (QA Page, Mail Archive)
• Ralf Treinen (QA Page)
• Remi Vanicat (QA Page)
• Stefano Zacchiroli (QA Page)
• Samuel Mimram (QA Page)

The following binary packages are built from this source package:

coq

proof assistant for higher-order logic (toplevel and compiler)

coq-libs

proof assistant for higher-order logic (theories)

coqide

proof assistant for higher-order logic (gtk interface)

Other Packages Related to coq

build-depends

build-depends-indep

• 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/