[ Источник: coq ]
Пакет: libcoq-core-ocaml-dev (8.16.1+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]
Подобные пакеты:
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.16.1+dfsg-1+b2)
- интерактивное программное средство доказательства теорем для логики высшего порядка (интерактивная среда и компилятор)
-
- dep: libcoq-core-ocaml-4ew58 [armhf]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-7k9u9 [s390x]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cpf60 [amd64]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cqbo5 [ppc64el]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-cspq5 [i386]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-wc485 [arm64]
- виртуальный пакет, предоставляемый libcoq-core-ocaml
-
- dep: libfindlib-ocaml-dev-0thr1 [amd64]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-3yei3 [armhf]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-85sc9 [i386]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-9bk70 [ppc64el]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-dhcd7 [s390x]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libfindlib-ocaml-dev-unji9 [arm64]
- виртуальный пакет, предоставляемый libfindlib-ocaml-dev
-
- dep: libzarith-ocaml-dev-4dps0 [amd64, arm64, ppc64el]
- виртуальный пакет, предоставляемый libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-aip06 [armhf, i386]
- виртуальный пакет, предоставляемый libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-vtl52 [s390x]
- виртуальный пакет, предоставляемый libzarith-ocaml-dev
-
- dep: ocaml-4.13.1
- виртуальный пакет, предоставляемый ocaml
Загрузка libcoq-core-ocaml-dev
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| amd64 | 8.16.1+dfsg-1+b2 | 41 724,0 Кб | 186 762,0 Кб | [список файлов] |
| arm64 | 8.16.1+dfsg-1+b2 | 41 821,4 Кб | 190 904,0 Кб | [список файлов] |
| armhf | 8.16.1+dfsg-1+b2 | 42 104,0 Кб | 172 728,0 Кб | [список файлов] |
| i386 | 8.16.1+dfsg-1+b2 | 41 454,6 Кб | 171 936,0 Кб | [список файлов] |
| ppc64el | 8.16.1+dfsg-1+b2 | 42 540,8 Кб | 198 822,0 Кб | [список файлов] |
| s390x | 8.16.1+dfsg-1+b2 | 41 255,8 Кб | 182 842,0 Кб | [список файлов] |