[ Источник: coq ]
Пакет: libcoq-core-ocaml-dev (9.1.0+dfsg-1)
Ссылки для libcoq-core-ocaml-dev
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код coq:
Сопровождающие:
- Debian OCaml Maintainers (Страница КК, Почтовый архив)
- Benjamin Barenblat (Страница КК)
- Julien Puydt (Страница КК)
- Ralf Treinen (Страница КК)
- Stéphane Glondu (Страница КК)
Внешние ресурсы:
- Сайт [coq.inria.fr]
Подобные пакеты:
Экспериментальный пакет
Предупреждение: данный пакет находится в экспериментальной ветке дистрибутива. Это означает, что он нестабилен или содержит ошибки, и даже может вызвать потерю данных. Перед использованием внимательно прочитайте файл changelog и другую доступную документацию.
development libraries and tools 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 and libraries needed to develop OCaml-side extensions to Coq.
Другие пакеты, относящиеся к libcoq-core-ocaml-dev
|
|
|
|
-
- dep: libcompiler-libs-ocaml-dev-4b6d0 [amd64]
- Пакет недоступен
-
- dep: libcompiler-libs-ocaml-dev-gxzm3 [arm64]
- Пакет недоступен
-
- dep: libcompiler-libs-ocaml-dev-i4v37 [ppc64el]
- Пакет недоступен
-
- dep: libcompiler-libs-ocaml-dev-tq1n2 [riscv64]
- Пакет недоступен
-
- dep: libcompiler-libs-ocaml-dev-volk9 [s390x]
- Пакет недоступен
-
- dep: libcoq-core-ocaml-3d0o2 [ppc64el]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-501i1 [s390x]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-9jks7 [riscv64]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-qojm9 [arm64]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rqof7 [amd64]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libfindlib-ocaml-dev-8k3o3 [amd64]
- Пакет недоступен
-
- dep: libfindlib-ocaml-dev-eitb4 [riscv64]
- Пакет недоступен
-
- dep: libfindlib-ocaml-dev-itlb4 [ppc64el]
- Пакет недоступен
-
- dep: libfindlib-ocaml-dev-svhk3 [s390x]
- Пакет недоступен
-
- dep: libfindlib-ocaml-dev-vaiw6 [arm64]
- Пакет недоступен
-
- dep: libstdlib-ocaml-dev-2d5j3 [s390x]
- Пакет недоступен
-
- dep: libstdlib-ocaml-dev-m4xw9 [не s390x]
- Пакет недоступен
-
- dep: libzarith-ocaml-dev-2ofb9 [s390x]
- Пакет недоступен
-
- dep: libzarith-ocaml-dev-h79v1 [не s390x]
- Пакет недоступен
-
- dep: ocaml-5.3.0
- Пакет недоступен
Загрузка libcoq-core-ocaml-dev
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| amd64 | 69 304,8 Кб | 135 131,0 Кб | [список файлов] |
| arm64 | 69 177,5 Кб | 136 575,0 Кб | [список файлов] |
| ppc64el | 69 997,3 Кб | 145 717,0 Кб | [список файлов] |
| riscv64 | 74 189,0 Кб | 215 175,0 Кб | [список файлов] |
| s390x | 68 781,7 Кб | 132 826,0 Кб | [список файлов] |