套件：elpi（1.18.2-1 以及其他的）

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 有關的套件

依賴

推薦

建議

增強

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

GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb

dep: libc6 (>= 2.34) [riscv64]

dep: libc6 (>= 2.35) [除 alpha, hppa, ia64, riscv64, sh4, sparc64, x32]

dep: libc6 (>= 2.37) [sh4]
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) [armhf, m68k, s390x, sh4]

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

下載 elpi

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
alpha （非官方移植版）	1.16.5-1	400。0 kB	3，615。0 kB	[檔案列表]
amd64	1.18.2-1	1，448。7 kB	7，230。0 kB	[檔案列表]
arm64	1.18.2-1	1，671。1 kB	8，386。0 kB	[檔案列表]
armhf	1.17.4-3+b1	1，351。2 kB	5，050。0 kB	[檔案列表]
hppa （非官方移植版）	1.16.5-1	383。3 kB	3，397。0 kB	[檔案列表]
i386	1.18.2-1	1，379。5 kB	6，622。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-1	1，484。4 kB	7，938。0 kB	[檔案列表]
riscv64	1.18.2-1	1，484。3 kB	7，574。0 kB	[檔案列表]
s390x	1.17.4-3+b1	1，430。4 kB	7，917。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	[檔案列表]