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

Package: coqide (8.2.pl1+dfsg-3 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-3) [not m68k]
    proof assistant for higher-order logic (toplevel and compiler)
    dep: coq (>= 8.0) [m68k]
  • dep: hurd [hurd-i386]
    The GNU Hurd
    also a virtual package provided by hurd-udeb
  • dep: libatk1.0-0 (>= 1.20.0) [not alpha, armel, hppa, ia64, mips, mipsel, s390]
    The ATK accessibility toolkit
  • dep: libc0.1 (>= 2.3.2) [kfreebsd-amd64, kfreebsd-i386]
    GNU C Library: Shared libraries
    also a virtual package provided by libc0.1-udeb
  • 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) [not alpha, armel, hppa, ia64, mips, mipsel, s390]
    The Cairo 2D vector graphics library
  • dep: libfontconfig1 (>= 2.4.0) [amd64, hurd-i386, i386, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
    generic font configuration library - runtime
  • dep: libfreetype6 (>= 2.2.1) [amd64, hurd-i386, i386, kfreebsd-amd64, kfreebsd-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, kfreebsd-amd64, kfreebsd-i386, powerpc, sparc]
  • dep: libgtk2.0-0 (>= 2.12.0) [not alpha, armel, hppa, ia64, mips, mipsel, s390]
    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, kfreebsd-amd64, kfreebsd-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-3 2,352.5 kB8920 kB [list of files]
amd64 8.2.pl1+dfsg-3 6,385.1 kB21772 kB [list of files]
armel 8.2.pl1+dfsg-3 2,353.9 kB8920 kB [list of files]
hppa 8.2.pl1+dfsg-3 2,352.2 kB8920 kB [list of files]
hurd-i386 8.2.pl1+dfsg-3 5,684.5 kB18344 kB [list of files]
i386 8.2.pl1+dfsg-3 5,875.9 kB18564 kB [list of files]
ia64 8.2.pl1+dfsg-3 2,352.5 kB8920 kB [list of files]
kfreebsd-amd64 8.2.pl1+dfsg-3 6,383.9 kB21716 kB [list of files]
kfreebsd-i386 8.2.pl1+dfsg-3 5,871.5 kB18516 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-3 2,352.5 kB8920 kB [list of files]
mipsel 8.2.pl1+dfsg-3 2,352.5 kB8920 kB [list of files]
powerpc 8.2.pl1+dfsg-3 6,430.4 kB19400 kB [list of files]
s390 8.2.pl1+dfsg-3 2,352.5 kB8920 kB [list of files]
sparc 8.2.pl1+dfsg-3 6,468.7 kB19600 kB [list of files]