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

Ссылки для 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-1+b1)

embeddable lambda-Prolog interpreter (runtime files)

Загрузка elpi

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	2.0.7-1+b1	1 808,8 Кб	9 128,0 Кб	[список файлов]
arm64	2.0.7-1+b1	2 062,8 Кб	10 820,0 Кб	[список файлов]
ppc64el	2.0.7-1+b1	1 818,4 Кб	9 988,0 Кб	[список файлов]
riscv64	2.0.7-1+b1	1 884,6 Кб	9 772,0 Кб	[список файлов]
s390x	2.0.7-1+b1	1 826,5 Кб	10 560,0 Кб	[список файлов]