Пакет: elpi (3.3.1-1)

Ссылки для elpi

Ресурсы Debian:

Исходный код elpi:

Сопровождающие:

Внешние ресурсы:

Сайт [github.com]

Подобные пакеты:

Экспериментальный пакет

Предупреждение: данный пакет находится в экспериментальной ветке дистрибутива. Это означает, что он нестабилен или содержит ошибки, и даже может вызвать потерю данных. Перед использованием внимательно прочитайте файл changelog и другую доступную документацию.

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 (= 3.3.1-1)

embeddable lambda-Prolog interpreter (runtime files)

Загрузка elpi

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
amd64	1 936,0 Кб	9 770,0 Кб	[список файлов]
arm64	2 222,8 Кб	11 666,0 Кб	[список файлов]
ppc64el	1 952,2 Кб	10 642,0 Кб	[список файлов]
s390x	1 962,6 Кб	11 294,0 Кб	[список файлов]