Пакет: libcoq-core-ocaml (8.20.1+dfsg-1 и другие)

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

Отслеживание заплат eLxr

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

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

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

Сайт [coq.inria.fr]

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

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.3)

GNU C Library: Shared libraries
также виртуальный пакет, предоставляемый libc6-udeb
dep: libfindlib-ocaml-8k3o3

виртуальный пакет, предоставляемый libfindlib-ocaml
dep: libstdlib-ocaml-m4xw9

виртуальный пакет, предоставляемый libstdlib-ocaml
dep: libzarith-ocaml-h79v1

виртуальный пакет, предоставляемый libzarith-ocaml
dep: ocaml-base-5.3.0

виртуальный пакет, предоставляемый ocaml-base

sug: ocaml-findlib

management tool for OCaml libraries

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

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	8.20.1+dfsg-1+b1	25 347,4 Кб	59 789,0 Кб	[список файлов]