[ bookworm ] [ trixie ] [ sid ]

[ Источник: elpi ]

Пакет: elpi (1.17.4-3 и другие)

Ссылки для 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.35)

библиотека GNU C: динамически подключаемые библиотеки
также виртуальный пакет, предоставляемый libc6-udeb
dep: libelpi-ocaml (= 1.17.4-3+b1)

embeddable lambda-Prolog interpreter (runtime files)

Загрузка elpi

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	1.17.4-3+b1	1 418,8 Кб	7 094,0 Кб	[список файлов]
arm64	1.17.4-3+b1	1 642,2 Кб	8 222,0 Кб	[список файлов]
armhf	1.17.4-3+b1	1 351,2 Кб	5 050,0 Кб	[список файлов]
i386	1.17.4-3+b1	1 349,4 Кб	6 515,0 Кб	[список файлов]
ppc64el	1.17.4-3+b1	1 454,5 Кб	7 774,0 Кб	[список файлов]
s390x	1.17.4-3+b1	1 430,4 Кб	7 917,0 Кб	[список файлов]