Please note that this site contains information about obsolete Debian releases; if you search for current data, please use packages.debian.org.
potato  ] [  woody  ] [  sarge  ] [  etch  ] [  lenny  ]
[ Source: coq  ]

Package: coq (7.2-9)

a proof assistant for higher-order logic.

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 Camlp4.

Other Packages Related to coq

  • depends
  • recommends
  • suggests
  • dep: libc6 (>= 2.2.4-4) [not alpha, ia64]
    GNU C Library: Shared libraries and Timezone data
  • dep: libc6.1 (>= 2.2.4-4) [alpha, ia64]
    GNU C Library: Shared libraries and Timezone data
  • dep: libncurses5 (>= 5.2.20020112a-1)
    Shared libraries for terminal handling
  • rec: coq-doc
    documentation for Coq package in ps format
  • sug: cle
    Wrap any command-line driven tool with readline
  • sug: coq-doc
    documentation for Coq package in ps format
  • sug: ocaml (>= 3.04)
    ML language implementation with a class-based object system

Download coq

Download for all available architectures
Architecture Package Size Installed Size Files
alpha 8,684.1 kB24409 kB no current information
arm 8,247.4 kB22768 kB no current information
hppa 7,140.3 kB19896 kB no current information
i386 7,986.2 kB21868 kB no current information
ia64 9,680.8 kB28460 kB no current information
m68k 6,972.2 kB19480 kB no current information
mips 7,063.1 kB20532 kB no current information
mipsel 7,058.7 kB20532 kB no current information
powerpc 7,034.0 kB19744 kB no current information
s390 7,038.9 kB19804 kB no current information
sparc 7,063.4 kB19772 kB no current information