Pakket: elpi (1.18.2-1 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.34) [riscv64]

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

dep: libc6 (>= 2.37) [sh4]
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.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 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	1.18.2-1	1.448,7 kB	7.230,0 kB	[overzicht]
arm64	1.18.2-1	1.671,1 kB	8.386,0 kB	[overzicht]
armhf	1.17.4-3+b1	1.351,2 kB	5.050,0 kB	[overzicht]
hppa (unofficial port)	1.16.5-1	383,3 kB	3.397,0 kB	[overzicht]
i386	1.18.2-1	1.379,5 kB	6.622,0 kB	[overzicht]
ia64 (unofficial port)	1.16.5-1	425,2 kB	4.003,0 kB	[overzicht]
m68k (unofficial port)	1.17.4-3+b1	347,8 kB	2.941,0 kB	[overzicht]
ppc64 (unofficial port)	1.17.0-1+b3	1.459,3 kB	8.938,0 kB	[overzicht]
ppc64el	1.18.2-1	1.484,4 kB	7.938,0 kB	[overzicht]
riscv64	1.18.2-1	1.484,3 kB	7.574,0 kB	[overzicht]
s390x	1.17.4-3+b1	1.430,4 kB	7.917,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]