Package: libcoq-ocaml-dev (8.2.pl1+dfsg-3)

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: coq (= 8.2.pl1+dfsg-3)

proof assistant for higher-order logic (toplevel and compiler)
dep: libc6 (>= 2.3) [amd64, i386]

GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.4) [powerpc]

dep: libc6 (>= 2.6) [sparc]
dep: ocaml-nox-3.11.1

virtual package provided by ocaml-nox

Download libcoq-ocaml-dev

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	5,906.2 kB	28072 kB	[list of files]
armel	1,909.5 kB	8768 kB	[list of files]
hppa	1,911.3 kB	8768 kB	[list of files]
i386	5,763.0 kB	21252 kB	[list of files]
ia64	1,895.9 kB	8768 kB	[list of files]
mips	1,895.9 kB	8768 kB	[list of files]
mipsel	1,896.0 kB	8768 kB	[list of files]
powerpc	6,814.1 kB	23088 kB	[list of files]
s390	1,895.9 kB	8768 kB	[list of files]
sparc	6,548.3 kB	23632 kB	[list of files]