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  ]

Paketti: 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.

Muut pakettiin coq liittyvät paketit

  • depends
  • recommends
  • suggests
  • dep: libc6 (>= 2.2.4-4) [ei 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

Imuroi coq

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
alpha 8,684.1 kt24409 kt no current information
arm 8,247.4 kt22768 kt no current information
hppa 7,140.3 kt19896 kt no current information
i386 7,986.2 kt21868 kt no current information
ia64 9,680.8 kt28460 kt no current information
m68k 6,972.2 kt19480 kt no current information
mips 7,063.1 kt20532 kt no current information
mipsel 7,058.7 kt20532 kt no current information
powerpc 7,034.0 kt19744 kt no current information
s390 7,038.9 kt19804 kt no current information
sparc 7,063.4 kt19772 kt no current information