Pakket: elpi (2.0.7-2 en anderen)

Verwijzigingen voor elpi

Debian bronnen:

Het bronpakket elpi downloaden:

Beheerders:

Externe bronnen:

Homepage [github.com]

Vergelijkbare pakketten:

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 aan elpi gerelateerde pakketten

depends

recommends

suggests

enhances

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

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb

dep: libc6 (>= 2.35) [m68k]

dep: libc6 (>= 2.37) [sh4]

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

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: 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-2+b2) [amd64, arm64, ppc64el, riscv64, s390x]

elpi downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	1.16.5-1	400,0 kB	3.615,0 kB	[overzicht]
amd64	2.0.7-2+b2	1.845,0 kB	9.355,0 kB	[overzicht]
arm64	2.0.7-2+b2	2.106,2 kB	11.067,0 kB	[overzicht]
hppa (unofficial port)	1.16.5-1	383,3 kB	3.397,0 kB	[overzicht]
ia64 (unofficial port)	1.16.5-1	425,2 kB	4.003,0 kB	[overzicht]
loong64 (unofficial port)	1.18.2-4	1.553,4 kB	8.116,0 kB	[overzicht]
m68k (unofficial port)	1.17.4-3+b1	347,8 kB	2.941,0 kB	[overzicht]
ppc64 (unofficial port)	1.18.2-4	1.452,8 kB	8.830,0 kB	[overzicht]
ppc64el	2.0.7-2+b2	1.862,0 kB	10.235,0 kB	[overzicht]
riscv64	2.0.7-2+b2	1.931,0 kB	10.035,0 kB	[overzicht]
s390x	2.0.7-2+b2	1.865,6 kB	10.835,0 kB	[overzicht]
sh4 (unofficial port)	1.17.4-3+b1	371,5 kB	3.015,0 kB	[overzicht]
sparc64 (unofficial port)	1.16.5-1	373,3 kB	4.838,0 kB	[overzicht]
x32 (unofficial port)	1.16.5-1	389,6 kB	3.349,0 kB	[overzicht]