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

Source Package: coq (8.2.pl1+dfsg-4)

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

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 7)
    helper programs for debian/rules
  • adep: quilt (>= 0.46-7~)
    Tool to work with series of patches
  • 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

FileSize (in kB)MD5 checksum
coq_8.2.pl1+dfsg-4.dsc 2.2 kB 968b2e275361399771da9a87081b642c
coq_8.2.pl1+dfsg.orig.tar.gz 3,068.6 kB 93a88f13726cf363c69daedd8da580ae
coq_8.2.pl1+dfsg-4.diff.gz 15.0 kB fb663a24f301895c6517012b1b13af1f
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