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

Ссылки для libcoq-core-ocaml

Ресурсы Debian:

Исходный код coq:

Сопровождающие:

Внешние ресурсы:

Сайт [coq.inria.fr]

Подобные пакеты:

Экспериментальный пакет

Предупреждение: данный пакет находится в экспериментальной ветке дистрибутива. Это означает, что он нестабилен или содержит ошибки, и даже может вызвать потерю данных. Перед использованием внимательно прочитайте файл changelog и другую доступную документацию.

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

зависимости

рекомендации

предложения

enhances

dep: libc6 (>= 2.17) [arm64]

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb

dep: libc6 (>= 2.22) [ppc64el]

dep: libc6 (>= 2.27) [riscv64]

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

Пакет недоступен
dep: libfindlib-ocaml-eitb4 [riscv64]

Пакет недоступен
dep: libfindlib-ocaml-itlb4 [ppc64el]

Пакет недоступен
dep: libfindlib-ocaml-svhk3 [s390x]

Пакет недоступен
dep: libfindlib-ocaml-vaiw6 [arm64]

Пакет недоступен
dep: libstdlib-ocaml-2d5j3 [s390x]

Пакет недоступен
dep: libstdlib-ocaml-m4xw9 [не s390x]

Пакет недоступен
dep: libzarith-ocaml-2ofb9 [s390x]

Пакет недоступен
dep: libzarith-ocaml-h79v1 [не s390x]

Пакет недоступен
dep: ocaml-base-5.3.0

Пакет недоступен

sug: ocaml-findlib

management tool for OCaml libraries

Загрузка libcoq-core-ocaml

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
amd64	26 199,5 Кб	61 856,0 Кб	[список файлов]
arm64	26 658,0 Кб	68 433,0 Кб	[список файлов]
ppc64el	26 245,0 Кб	66 577,0 Кб	[список файлов]
riscv64	26 289,5 Кб	63 749,0 Кб	[список файлов]
s390x	26 258,9 Кб	66 401,0 Кб	[список файлов]