Пакет: elpi (2.0.7-2 и други)

Връзки за elpi

Ресурси за Debian:

Изтегляне на пакет-източник elpi.

Отговорници:

Външни препратки:

Начална страница [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.

Други пакети, свързани с elpi

зависимости

препоръчани

предложени

enhances

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

GNU C Library: Shared libraries
също и виртуален пакет, предлаган от 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 Library: Shared libraries
също и виртуален пакет, предлаган от 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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	1.16.5-1	400,0 кБ	3 615,0 кБ	[списък на файловете]
amd64	2.0.7-2+b2	1 845,0 кБ	9 355,0 кБ	[списък на файловете]
arm64	2.0.7-2+b2	2 106,2 кБ	11 067,0 кБ	[списък на файловете]
hppa (неофициална архитектура)	1.16.5-1	383,3 кБ	3 397,0 кБ	[списък на файловете]
ia64 (неофициална архитектура)	1.16.5-1	425,2 кБ	4 003,0 кБ	[списък на файловете]
loong64 (неофициална архитектура)	1.18.2-4	1 553,4 кБ	8 116,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	1.17.4-3+b1	347,8 кБ	2 941,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	1.18.2-4	1 452,8 кБ	8 830,0 кБ	[списък на файловете]
ppc64el	2.0.7-2+b2	1 862,0 кБ	10 235,0 кБ	[списък на файловете]
riscv64	2.0.7-2+b2	1 931,0 кБ	10 035,0 кБ	[списък на файловете]
s390x	2.0.7-2+b2	1 865,6 кБ	10 835,0 кБ	[списък на файловете]
sh4 (неофициална архитектура)	1.17.4-3+b1	371,5 кБ	3 015,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	1.16.5-1	373,3 кБ	4 838,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	1.16.5-1	389,6 кБ	3 349,0 кБ	[списък на файловете]