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

Links for libcoq-ocaml-dev

Debian Resources:

Download Source Package coq:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Ralf Treinen (QA Page)
Remi Vanicat (QA Page)
Stefano Zacchiroli (QA Page)
Samuel Mimram (QA Page)
Stéphane Glondu (QA Page)

External Resources:

Homepage [coq.inria.fr]

Similar packages:

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 kB	8816 kB	[list of files]
amd64	8.2.pl1+dfsg-4	5,921.1 kB	28144 kB	[list of files]
armel	8.2.pl1+dfsg-4	1,917.4 kB	8816 kB	[list of files]
hppa	8.2.pl1+dfsg-4	1,914.3 kB	8816 kB	[list of files]
hurd-i386	8.2.pl1+dfsg-3	5,724.9 kB	21224 kB	[list of files]
i386	8.2.pl1+dfsg-4	5,778.9 kB	21324 kB	[list of files]
ia64	8.2.pl1+dfsg-4	1,904.9 kB	8816 kB	[list of files]
kfreebsd-amd64	8.2.pl1+dfsg-4	5,880.9 kB	28180 kB	[list of files]
kfreebsd-i386	8.2.pl1+dfsg-4	5,740.4 kB	21346 kB	[list of files]
mips	8.2.pl1+dfsg-4	1,917.6 kB	8816 kB	[list of files]
mipsel	8.2.pl1+dfsg-4	1,905.1 kB	8816 kB	[list of files]
powerpc	8.2.pl1+dfsg-4	6,829.9 kB	23160 kB	[list of files]
s390	8.2.pl1+dfsg-4	1,904.9 kB	8816 kB	[list of files]
sparc	8.2.pl1+dfsg-4	6,529.6 kB	23704 kB	[list of files]