squeeze  ] [  sid  ]
[ Source: coq  ]

Package: libcoq-ocaml-dev (8.2.pl1+dfsg-4 and others)

development libraries and tools for Coq

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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.

Tags: Software Development: Libraries

Other Packages Related to libcoq-ocaml-dev

  • depends
  • recommends
  • suggests
  • dep: camlp5-0gpv1 [alpha, armel, hppa, ia64, mips, mipsel, s390]
    virtual package provided by camlp5
  • dep: camlp5-2k0x6 [amd64, kfreebsd-amd64]
    virtual package provided by camlp5
  • dep: camlp5-4le56 [i386, kfreebsd-i386, powerpc, sparc]
    virtual package provided by camlp5
  • dep: coq (= 8.2.pl1+dfsg-3) [hurd-i386]
    proof assistant for higher-order logic (toplevel and compiler)
    dep: coq (= 8.2.pl1+dfsg-4) [not hurd-i386]
  • dep: libc0.1 (>= 2.7) [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.7) [amd64, i386, powerpc, sparc]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
  • dep: ocaml-nox-3.11.1
    virtual package provided by ocaml-nox

Download libcoq-ocaml-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha 8.2.pl1+dfsg-4 1,917.5 kB8816 kB [list of files]
amd64 8.2.pl1+dfsg-4 5,921.1 kB28144 kB [list of files]
armel 8.2.pl1+dfsg-4 1,917.4 kB8816 kB [list of files]
hppa 8.2.pl1+dfsg-4 1,914.3 kB8816 kB [list of files]
hurd-i386 8.2.pl1+dfsg-3 5,724.9 kB21224 kB [list of files]
i386 8.2.pl1+dfsg-4 5,778.9 kB21324 kB [list of files]
ia64 8.2.pl1+dfsg-4 1,904.9 kB8816 kB [list of files]
kfreebsd-amd64 8.2.pl1+dfsg-4 5,880.9 kB28180 kB [list of files]
kfreebsd-i386 8.2.pl1+dfsg-4 5,740.4 kB21346 kB [list of files]
mips 8.2.pl1+dfsg-4 1,917.6 kB8816 kB [list of files]
mipsel 8.2.pl1+dfsg-4 1,905.1 kB8816 kB [list of files]
powerpc 8.2.pl1+dfsg-4 6,829.9 kB23160 kB [list of files]
s390 8.2.pl1+dfsg-4 1,904.9 kB8816 kB [list of files]
sparc 8.2.pl1+dfsg-4 6,529.6 kB23704 kB [list of files]