[ Източник: coq ]
Пакет: libcoq-core-ocaml-dev (8.19.1+dfsg-1 и други)
Връзки за libcoq-core-ocaml-dev
Ресурси за Debian:
- Доклади за грешки
- Developer Information
- Журнал на промените в Debian
- Авторски права
- Управление на кръпките в Debian
Изтегляне на пакет-източник coq.
Отговорници:
- Debian OCaml Maintainers (Страница за QA, Пощенски архив)
- Benjamin Barenblat (Страница за QA)
- Julien Puydt (Страница за QA)
- Ralf Treinen (Страница за QA)
- Stéphane Glondu (Страница за QA)
Външни препратки:
- Начална страница [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.17.0+dfsg-1+b2) [ppc64]
- proof assistant for higher-order logic (toplevel and compiler)
- dep: coq (= 8.19.1+dfsg-1) [не ppc64]
-
- dep: libcoq-core-ocaml-95mg5 [i386]
- виртуален пакет, предлаган от libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-dubr8 [armhf]
- виртуален пакет, предлаган от libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-h8lz0 [ppc64el]
- виртуален пакет, предлаган от libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-msuf8 [amd64]
- виртуален пакет, предлаган от libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-o7b01 [s390x]
- виртуален пакет, предлаган от libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-sgxt2 [arm64]
- виртуален пакет, предлаган от libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-v85u8 [riscv64]
- виртуален пакет, предлаган от libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-vvuk3 [ppc64]
- виртуален пакет, предлаган от 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-vikp8 [ppc64]
- Пакетът не е наличен
-
- 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-v4iz3 [ppc64]
- Пакетът не е наличен
-
- dep: libzarith-ocaml-dev-wx6x8 [armhf, i386]
- виртуален пакет, предлаган от libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-zlfv4 [amd64, arm64, ppc64el, riscv64]
- виртуален пакет, предлаган от libzarith-ocaml-dev
-
- dep: ocaml-4.13.1 [ppc64]
- виртуален пакет, предлаган от ocaml
-
- dep: ocaml-4.14.1 [не ppc64]
- виртуален пакет, предлаган от ocaml
Изтегляне на libcoq-core-ocaml-dev
Архитектура | Версия | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|---|
amd64 | 8.19.1+dfsg-1 | 44 153,5 кБ | 196 963,0 кБ | [списък на файловете] |
arm64 | 8.19.1+dfsg-1 | 44 248,6 кБ | 201 245,0 кБ | [списък на файловете] |
armhf | 8.19.1+dfsg-1 | 44 535,3 кБ | 182 567,0 кБ | [списък на файловете] |
i386 | 8.19.1+dfsg-1 | 43 888,2 кБ | 181 770,0 кБ | [списък на файловете] |
ppc64 (неофициална архитектура) | 8.17.0+dfsg-1+b2 | 42 937,4 кБ | 201 583,0 кБ | [списък на файловете] |
ppc64el | 8.19.1+dfsg-1 | 45 001,3 кБ | 209 422,0 кБ | [списък на файловете] |
riscv64 | 8.19.1+dfsg-1 | 48 599,4 кБ | 276 553,0 кБ | [списък на файловете] |
s390x | 8.19.1+dfsg-1 | 43 601,3 кБ | 192 747,0 кБ | [списък на файловете] |