Paket: elpi (2.0.7-3 und andere)

Links für elpi

Debian-Ressourcen:

Quellcode-Paket elpi herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [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.

Andere Pakete mit Bezug zu elpi

hängt ab von

empfiehlt

schlägt vor

erweitert

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

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

dep: libc6 (>= 2.35) [m68k]

dep: libc6 (>= 2.37) [sh4]

dep: libc6 (>= 2.38) [loong64, ppc64]

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

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch 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.4-3+b1) [m68k, sh4]

dep: libelpi-ocaml (= 1.18.2-4) [loong64, ppc64]

dep: libelpi-ocaml (= 2.0.7-3) [ppc64el, riscv64, s390x]

dep: libelpi-ocaml (= 2.0.7-3+b3) [amd64, arm64]

elpi herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	1.16.5-1	400,0 kB	3.615,0 kB	[Liste der Dateien]
amd64	2.0.7-3+b3	1.852,8 kB	9.375,0 kB	[Liste der Dateien]
arm64	2.0.7-3+b3	2.115,4 kB	11.039,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	1.16.5-1	383,3 kB	3.397,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	1.16.5-1	425,2 kB	4.003,0 kB	[Liste der Dateien]
loong64 (inoffizielle Portierung)	1.18.2-4	1.553,4 kB	8.116,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	1.17.4-3+b1	347,8 kB	2.941,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	1.18.2-4	1.452,8 kB	8.830,0 kB	[Liste der Dateien]
ppc64el	2.0.7-3	1.875,8 kB	10.283,0 kB	[Liste der Dateien]
riscv64	2.0.7-3	1.972,7 kB	10.083,0 kB	[Liste der Dateien]
s390x	2.0.7-3	1.917,3 kB	10.899,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	1.17.4-3+b1	371,5 kB	3.015,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	1.16.5-1	373,3 kB	4.838,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	1.16.5-1	389,6 kB	3.349,0 kB	[Liste der Dateien]