[ Источник: coq ]
Пакет: libcoq-core-ocaml-dev (8.19.1+dfsg-2)
Ссылки для 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]
Подобные пакеты:
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: coq (= 8.19.1+dfsg-2)
- интерактивное программное средство доказательства теорем для логики высшего порядка (интерактивная среда и компилятор)
-
- dep: libcoq-core-ocaml-600x6 [s390x]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-fza52 [amd64]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-pyj13 [i386]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ql1j4 [armhf]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-tvu74 [arm64]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-tygf6 [riscv64]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-yj1f6 [ppc64el]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libfindlib-ocaml-dev-449z9 [amd64]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-9adu2 [armhf]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-gc4b1 [riscv64]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-goqu1 [i386]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-ift94 [arm64]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-k3zo5 [s390x]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-z40n4 [ppc64el]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-058x2 [ppc64el]
- виртуальный пакет, предоставляемый libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-dkl58 [i386]
- виртуальный пакет, предоставляемый libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-ep7y0 [amd64]
- виртуальный пакет, предоставляемый libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-fyga0 [arm64]
- виртуальный пакет, предоставляемый libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-rayz1 [armhf]
- виртуальный пакет, предоставляемый libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-vjut8 [riscv64]
- виртуальный пакет, предоставляемый libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-vneg5 [s390x]
- виртуальный пакет, предоставляемый libstdlib-ocaml-dev
-
- dep: libzarith-ocaml-dev-avzf2 [s390x]
- виртуальный пакет, предоставляемый libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-wx6x8 [armhf, i386]
- виртуальный пакет, предоставляемый libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-zlfv4 [не armhf, i386, s390x]
- виртуальный пакет, предоставляемый libzarith-ocaml-dev
-
- dep: ocaml-4.14.1
- виртуальный пакет, предоставляемый ocaml
Загрузка libcoq-core-ocaml-dev
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| amd64 | 44 532,0 Кб | 198 163,0 Кб | [список файлов] |
| arm64 | 44 557,3 Кб | 200 766,0 Кб | [список файлов] |
| armhf | 44 890,7 Кб | 185 445,0 Кб | [список файлов] |
| i386 | 44 368,0 Кб | 184 859,0 Кб | [список файлов] |
| ppc64el | 45 284,0 Кб | 208 148,0 Кб | [список файлов] |
| riscv64 | 48 161,8 Кб | 259 728,0 Кб | [список файлов] |
| s390x | 43 973,0 Кб | 193 681,0 Кб | [список файлов] |