パッケージ: libcoq-core-ocaml-dev (8.20.1+dfsg-1 など)

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

eLxr パッチ追跡システム

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

メンテナ:

外部の資源:

ホームページ [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 関連パッケージ

依存

推奨

提案

enhances

dep: coq (= 8.20.1+dfsg-1+b1)

proof assistant for higher-order logic (toplevel and compiler)
dep: libcompiler-libs-ocaml-dev-4b6d0 [amd64]

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

以下のパッケージによって提供される仮想パッケージです: libcompiler-libs-ocaml-dev
dep: libcoq-core-ocaml-29kh7 [amd64]

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

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

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

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

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

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

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

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

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	8.20.1+dfsg-1+b1	67,090.0 kB	131,100.0 kB	[ファイル一覧]
arm64	8.20.1+dfsg-1+b1	66,962.1 kB	132,321.0 kB	[ファイル一覧]