[  etch  ] [  etch-m68k  ] [  lenny  ] [  squeeze  ] [  sid  ]
[ Source: coq  ]

Package: coqide (8.2.pl1+dfsg-2 and others)

proof assistant for higher-order logic (gtk interface)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides CoqIde, a graphical user interface for developing proofs.

Tags: Software Development: IDE, Field: Mathematics, Implemented in: OCaml, User Interface: X Window System, Role: Program, Scope: Application, Interface Toolkit: GTK, Ncurses TUI, Purpose: Checking, X Window System: Application

Other Packages Related to coqide

  • depends
  • recommends
  • suggests
  • dep: coq (= 8.2.pl1+dfsg-2) [not m68k]
    proof assistant for higher-order logic (toplevel and compiler)
    dep: coq (>= 8.0) [m68k]
  • dep: hurd [hurd-i386]
    The GNU Hurd
  • dep: libatk1.0-0 (>= 1.20.0) [amd64, hurd-i386, i386, m68k, powerpc, sparc]
    The ATK accessibility toolkit
  • dep: libc0.3 (>= 2.9) [hurd-i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc0.3-udeb
  • dep: libc6 (>= 2.3.2) [amd64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.3.6-6~) [i386]
    dep: libc6 (>= 2.4) [powerpc]
    dep: libc6 (>= 2.5-5) [m68k]
    dep: libc6 (>= 2.6) [sparc]
  • dep: libcairo2 (>= 1.2.4) [amd64, hurd-i386, i386, m68k, powerpc, sparc]
    The Cairo 2D vector graphics library
  • dep: libfontconfig1 (>= 2.4.0) [amd64, hurd-i386, i386, powerpc, sparc]
    generic font configuration library - runtime
  • dep: libfreetype6 (>= 2.2.1) [amd64, hurd-i386, i386, powerpc, sparc]
    FreeType 2 font engine, shared library files
  • dep: libglib2.0-0 (>= 2.12.0) [m68k]
    The GLib library of C routines
    dep: libglib2.0-0 (>= 2.16.0) [amd64, hurd-i386, i386, powerpc, sparc]
  • dep: libgtk2.0-0 (>= 2.12.0) [amd64, hurd-i386, i386, m68k, powerpc, sparc]
    The GTK+ graphical user interface library
  • dep: liblablgtk2-ocaml [not m68k]
    runtime libraries for OCaml bindings for GTK+ version 2
  • dep: libncurses5 (>= 5.6+20071006-3) [m68k]
    shared libraries for terminal handling
  • dep: libpango1.0-0 (>= 1.14.0) [amd64, hurd-i386, i386, powerpc, sparc]
    Layout and rendering of internationalized text
    dep: libpango1.0-0 (>= 1.20.2) [m68k]
  • dep: ocaml-base-nox-3.11.1 [not m68k]
    virtual package provided by ocaml-base-nox
  • dep: tex-common (>= 1.10) [m68k]
    common infrastructure for building and installing TeX

Download coqide

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha 8.2.pl1+dfsg-2 2,352.5 kB8920 kB [list of files]
amd64 8.2.pl1+dfsg-2 6,384.7 kB21772 kB [list of files]
armel 8.2.pl1+dfsg-2 2,353.6 kB8920 kB [list of files]
hppa 8.2.pl1+dfsg-2 2,354.8 kB8920 kB [list of files]
hurd-i386 8.2.pl1+dfsg-2 5,684.3 kB18348 kB [list of files]
i386 8.2.pl1+dfsg-2 5,873.2 kB18564 kB [list of files]
ia64 8.2.pl1+dfsg-2 2,352.5 kB8920 kB [list of files]
m68k (unofficial port) 8.1.pl3+dfsg-1+b2 2,363.1 kB8880 kB [list of files]
mips 8.2.pl1+dfsg-2 2,352.5 kB8920 kB [list of files]
mipsel 8.2.pl1+dfsg-2 2,352.5 kB8920 kB [list of files]
powerpc 8.2.pl1+dfsg-2 6,430.4 kB19400 kB [list of files]
s390 8.2.pl1+dfsg-2 2,352.5 kB8920 kB [list of files]
sparc 8.2.pl1+dfsg-2 6,468.5 kB19600 kB [list of files]