パッケージ: elpi (1.18.2-2 など)

elpi に関するリンク

Debian の資源:

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

メンテナ:

外部の資源:

ホームページ [github.com]

類似のパッケージ:

embeddable lambda-Prolog interpreter (tool)

ELPI implements a lambda-Prolog interpreter enriched with constraint handling rules, to provide an extension language to larger applications written in OCaml.

This package provides the command-line tool.

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

依存

推奨

提案

enhances

dep: libc6 (>= 2.33) [hppa, sparc64, x32]

GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

dep: libc6 (>= 2.34) [riscv64]

dep: libc6 (>= 2.35) [i386, m68k, ppc64]

dep: libc6 (>= 2.37) [sh4]

dep: libc6 (>= 2.38) [amd64, arm64, armhf, ppc64el, s390x]
dep: libc6.1 (>= 2.33) [alpha, ia64]

GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6.1-udeb
dep: libelpi-ocaml (= 1.16.5-1) [alpha, hppa, ia64, sparc64, x32]

embeddable lambda-Prolog interpreter (runtime files)

dep: libelpi-ocaml (= 1.17.0-1+b3) [ppc64]

dep: libelpi-ocaml (= 1.17.4-3+b1) [m68k, sh4]

dep: libelpi-ocaml (= 1.18.2-2) [amd64, arm64, armhf, i386, ppc64el, riscv64, s390x]

elpi のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
alpha (非公式の移植版)	1.16.5-1	400.0 kB	3,615.0 kB	[ファイル一覧]
amd64	1.18.2-2	1,441.4 kB	7,202.0 kB	[ファイル一覧]
arm64	1.18.2-2	1,661.9 kB	8,318.0 kB	[ファイル一覧]
armhf	1.18.2-2	1,374.4 kB	5,124.0 kB	[ファイル一覧]
hppa (非公式の移植版)	1.16.5-1	383.3 kB	3,397.0 kB	[ファイル一覧]
i386	1.18.2-2	1,373.1 kB	6,606.0 kB	[ファイル一覧]
ia64 (非公式の移植版)	1.16.5-1	425.2 kB	4,003.0 kB	[ファイル一覧]
m68k (非公式の移植版)	1.17.4-3+b1	347.8 kB	2,941.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	1.17.0-1+b3	1,459.3 kB	8,938.0 kB	[ファイル一覧]
ppc64el	1.18.2-2	1,477.3 kB	7,934.0 kB	[ファイル一覧]
riscv64	1.18.2-2	1,480.5 kB	7,546.0 kB	[ファイル一覧]
s390x	1.18.2-2	1,456.6 kB	8,040.0 kB	[ファイル一覧]
sh4 (非公式の移植版)	1.17.4-3+b1	371.5 kB	3,015.0 kB	[ファイル一覧]
sparc64 (非公式の移植版)	1.16.5-1	373.3 kB	4,838.0 kB	[ファイル一覧]
x32 (非公式の移植版)	1.16.5-1	389.6 kB	3,349.0 kB	[ファイル一覧]