Package: libcoq-core-ocaml (9.1.0+dfsg-1)

Links for libcoq-core-ocaml

Debian Resources:

Download Source Package coq:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Benjamin Barenblat (QA Page)
Julien Puydt (QA Page)
Ralf Treinen (QA Page)
Stéphane Glondu (QA Page)

External Resources:

Homepage [coq.inria.fr]

Similar packages:

Experimental package

Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.

runtime libraries 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 runtime libraries for Coq.

Other Packages Related to libcoq-core-ocaml

depends

recommends

suggests

enhances

dep: libc6 (>= 2.3)

GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
dep: libfindlib-ocaml-8k3o3

Package not available
dep: libstdlib-ocaml-m4xw9

Package not available
dep: libzarith-ocaml-h79v1

Package not available
dep: ocaml-base-5.3.0

Package not available

sug: ocaml-findlib

management tool for OCaml libraries

Download libcoq-core-ocaml

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	26,199.5 kB	61,856.0 kB	[list of files]