Пакет: libcoq-core-ocaml (8.20.1+dfsg-1)

[ Източник: coq  ]

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.

Други пакети, свързани с libcoq-core-ocaml

• dep: libc6 (>= 2.17) [arm64]

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

  dep: libc6 (>= 2.22) [ppc64el]

  dep: libc6 (>= 2.27) [riscv64]

  dep: libc6 (>= 2.3) [amd64, s390x]

• dep: libfindlib-ocaml-5dit4 [arm64]

  виртуален пакет, предлаган от libfindlib-ocaml

• dep: libfindlib-ocaml-9a346 [s390x]

  виртуален пакет, предлаган от libfindlib-ocaml

• dep: libfindlib-ocaml-o8mp7 [ppc64el]

  виртуален пакет, предлаган от libfindlib-ocaml

• dep: libfindlib-ocaml-t4zk4 [riscv64]

  виртуален пакет, предлаган от libfindlib-ocaml

• dep: libfindlib-ocaml-xdxk1 [amd64]

  виртуален пакет, предлаган от libfindlib-ocaml

• dep: libstdlib-ocaml-fxjy5 [не s390x]

  виртуален пакет, предлаган от libstdlib-ocaml

• dep: libstdlib-ocaml-ke4j9 [s390x]

  виртуален пакет, предлаган от libstdlib-ocaml

• dep: libzarith-ocaml-f1se9 [не s390x]

  виртуален пакет, предлаган от libzarith-ocaml

• dep: libzarith-ocaml-i2hh0 [s390x]

  виртуален пакет, предлаган от libzarith-ocaml

• dep: ocaml-base-5.3.0

  виртуален пакет, предлаган от ocaml-base

• sug: ocaml-findlib

  management tool for OCaml libraries

Изтегляне на libcoq-core-ocaml

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
amd64	25 342,7 кБ	59 787,0 кБ	[списък на файловете]
arm64	25 779,4 кБ	66 044,0 кБ	[списък на файловете]
ppc64el	25 363,5 кБ	64 318,0 кБ	[списък на файловете]
riscv64	25 410,3 кБ	61 636,0 кБ	[списък на файловете]
s390x	25 388,1 кБ	64 197,0 кБ	[списък на файловете]