Pakiet: elpi (2.0.7-2 i inne)

Odnośniki dla elpi

Zasoby systemu Debian:

Pobieranie pakietu źródłowego elpi:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [github.com]

Podobne pakiety:

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.

Inne pakiety związane z elpi

wymaga

poleca

sugeruje

enhances

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

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez 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]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez 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+b1) [amd64, arm64, ppc64el, riscv64, s390x]

Pobieranie elpi

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	1.16.5-1	400,0 KiB	3 615,0 KiB	[lista plików]
amd64	2.0.7-2+b1	1 829,0 KiB	9 268,0 KiB	[lista plików]
arm64	2.0.7-2+b1	2 107,0 KiB	10 975,0 KiB	[lista plików]
hppa (port nieoficjalny)	1.16.5-1	383,3 KiB	3 397,0 KiB	[lista plików]
ia64 (port nieoficjalny)	1.16.5-1	425,2 KiB	4 003,0 KiB	[lista plików]
loong64 (port nieoficjalny)	1.18.2-4	1 553,4 KiB	8 116,0 KiB	[lista plików]
m68k (port nieoficjalny)	1.17.4-3+b1	347,8 KiB	2 941,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	1.18.2-4	1 452,8 KiB	8 830,0 KiB	[lista plików]
ppc64el	2.0.7-2+b1	1 843,7 KiB	10 079,0 KiB	[lista plików]
riscv64	2.0.7-2+b1	1 913,4 KiB	9 927,0 KiB	[lista plików]
s390x	2.0.7-2+b1	1 852,1 KiB	10 727,0 KiB	[lista plików]
sh4 (port nieoficjalny)	1.17.4-3+b1	371,5 KiB	3 015,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	1.16.5-1	373,3 KiB	4 838,0 KiB	[lista plików]
x32 (port nieoficjalny)	1.16.5-1	389,6 KiB	3 349,0 KiB	[lista plików]