パッケージ: libcoq-core-ocaml-dev (8.18.0+dfsg-1build2) [universe]

libcoq-core-ocaml-dev に関するリンク

Ubuntu の資源:

coq ソースパッケージをダウンロード:

メンテナ:

Ubuntu Developers (メールアーカイブ)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

Debian OCaml Maintainers (メールアーカイブ)
Benjamin Barenblat
Julien Puydt
Ralf Treinen
Stéphane Glondu

It should generally not be necessary for users to contact the original maintainer.

外部の資源:

ホームページ [coq.inria.fr]

類似のパッケージ:

development libraries and tools for Coq

その他の libcoq-core-ocaml-dev 関連パッケージ

依存

推奨

提案

enhances

dep: coq (= 8.18.0+dfsg-1build2)

proof assistant for higher-order logic (toplevel and compiler)
dep: libcoq-core-ocaml-fg9y1 [amd64]

以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml
dep: libcoq-core-ocaml-gv4e8 [ppc64el]

以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml
dep: libcoq-core-ocaml-lsl44 [s390x]

以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml
dep: libcoq-core-ocaml-ru4g2 [armhf]

以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml
dep: libcoq-core-ocaml-t2nr4 [arm64]

以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml
dep: libcoq-core-ocaml-y3z04 [riscv64]

以下のパッケージによって提供される仮想パッケージです: 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-f4uj2 [ppc64el]

以下のパッケージによって提供される仮想パッケージです: libfindlib-ocaml-dev
dep: libfindlib-ocaml-dev-gc4b1 [riscv64]

以下のパッケージによって提供される仮想パッケージです: libfindlib-ocaml-dev
dep: libfindlib-ocaml-dev-ift94 [arm64]

以下のパッケージによって提供される仮想パッケージです: libfindlib-ocaml-dev
dep: libfindlib-ocaml-dev-k3zo5 [s390x]

以下のパッケージによって提供される仮想パッケージです: libfindlib-ocaml-dev
dep: libstdlib-ocaml-dev-ep7y0 [amd64]

以下のパッケージによって提供される仮想パッケージです: libstdlib-ocaml-dev
dep: libstdlib-ocaml-dev-fee01 [ppc64el]

以下のパッケージによって提供される仮想パッケージです: 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]

以下のパッケージによって提供される仮想パッケージです: libzarith-ocaml-dev
dep: libzarith-ocaml-dev-zlfv4 [armhf, s390x 以外]

以下のパッケージによって提供される仮想パッケージです: libzarith-ocaml-dev
dep: ocaml-4.14.1

以下のパッケージによって提供される仮想パッケージです: ocaml

libcoq-core-ocaml-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	50,203.1 kB	193,581.0 kB	[ファイル一覧]
arm64	50,645.4 kB	197,864.0 kB	[ファイル一覧]
armhf	50,758.6 kB	179,270.0 kB	[ファイル一覧]
ppc64el	51,583.0 kB	205,924.0 kB	[ファイル一覧]
riscv64	57,412.6 kB	272,646.0 kB	[ファイル一覧]
s390x	49,676.5 kB	189,429.0 kB	[ファイル一覧]