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.17) [arm64]

GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.22) [ppc64el]

dep: libc6 (>= 2.3) [amd64, s390x]
dep: libfindlib-ocaml-8k3o3 [amd64]

Package not available
dep: libfindlib-ocaml-itlb4 [ppc64el]

Package not available
dep: libfindlib-ocaml-svhk3 [s390x]

Package not available
dep: libfindlib-ocaml-vaiw6 [arm64]

Package not available
dep: libstdlib-ocaml-2d5j3 [s390x]

Package not available
dep: libstdlib-ocaml-m4xw9 [not s390x]

Package not available
dep: libzarith-ocaml-2ofb9 [s390x]

Package not available
dep: libzarith-ocaml-h79v1 [not s390x]

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]
arm64	26,658.0 kB	68,433.0 kB	[list of files]
ppc64el	26,245.0 kB	66,577.0 kB	[list of files]
s390x	26,258.9 kB	66,401.0 kB	[list of files]