パッケージ: libcoq-elpi (2.5.0-1.1 など)

libcoq-elpi に関するリンク

Debian の資源:

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

メンテナ:

外部の資源:

ホームページ [github.com]

類似のパッケージ:

Coq plugin embedding Elpi

This package makes it possible to define new commands and tactics for Coq in Elpi.

Elpi implements a lambda-Prolog interpreter enriched with constraint handling rules.

Coq is a proof assistant for higher-order logic.

その他の libcoq-elpi 関連パッケージ

依存

推奨

提案

enhances

dep: libcoq-core-ocaml-29kh7 [amd64]

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

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

以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml
dep: libcoq-core-ocaml-dev (>= 8.17)

development libraries and tools for Coq
dep: libcoq-core-ocaml-n64h2 [ppc64el]

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

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

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

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

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

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

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-stdlib-mz9g4 [loong64]

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

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libcoq-stdlib-twvz5 [ppc64]

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

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib
dep: libelpi-ocaml-2q922 [loong64]

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

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

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

embeddable lambda-Prolog interpreter (dev files)
dep: libelpi-ocaml-jlcc0 [amd64]

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

以下のパッケージによって提供される仮想パッケージです: libelpi-ocaml
dep: libelpi-ocaml-qs6l8 [ppc64]

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

以下のパッケージによって提供される仮想パッケージです: libelpi-ocaml
dep: libppx-deriving-ocaml-124n2 [riscv64]

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

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

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

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

以下のパッケージによって提供される仮想パッケージです: libppx-deriving-ocaml
dep: libstdlib-ocaml-2d5j3 [s390x]

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

パッケージは利用できません
dep: libstdlib-ocaml-m4xw9 [loong64, ppc64, s390x 以外]

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

パッケージは利用できません
dep: libzarith-ocaml-2ofb9 [s390x]

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

パッケージは利用できません
dep: libzarith-ocaml-h79v1 [loong64, ppc64, s390x 以外]

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

パッケージは利用できません

libcoq-elpi のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	2.5.0-1.1+b4	12,054.8 kB	61,127.0 kB	[ファイル一覧]
arm64	2.5.0-1.1+b4	12,522.4 kB	65,001.0 kB	[ファイル一覧]
loong64 (非公式の移植版)	2.1.0-1+b3	3,480.5 kB	25,222.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	2.1.0-1+b1	3,421.7 kB	25,622.0 kB	[ファイル一覧]
ppc64el	2.5.0-1.1+b4	12,153.7 kB	63,704.0 kB	[ファイル一覧]
riscv64	2.5.0-1.1+b4	12,694.8 kB	68,216.0 kB	[ファイル一覧]
s390x	2.5.0-1.1+b4	12,116.3 kB	63,304.0 kB	[ファイル一覧]