Пакет: 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.38)

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

embeddable lambda-Prolog interpreter (runtime files)

Загрузка elpi

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	2.0.7-2+b1	1 829,0 Кб	9 268,0 Кб	[список файлов]
arm64	2.0.7-2+b1	2 107,0 Кб	10 975,0 Кб	[список файлов]
ppc64el	2.0.7-2+b1	1 843,7 Кб	10 079,0 Кб	[список файлов]
riscv64	2.0.7-2+b1	1 913,4 Кб	9 927,0 Кб	[список файлов]
s390x	2.0.7-2+b1	1 852,1 Кб	10 727,0 Кб	[список файлов]