Pakiet: elpi (2.0.7-3 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) [loong64, ppc64]

dep: libc6 (>= 2.42) [amd64, arm64, 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-3) [ppc64el, riscv64, s390x]

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

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-3+b3	1 852,8 KiB	9 375,0 KiB	[lista plików]
arm64	2.0.7-3+b3	2 115,4 KiB	11 039,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-3	1 875,8 KiB	10 283,0 KiB	[lista plików]
riscv64	2.0.7-3	1 972,7 KiB	10 083,0 KiB	[lista plików]
s390x	2.0.7-3	1 917,3 KiB	10 899,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]