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

Ссылки для elpi

Отслеживание заплат eLxr

Исходный код 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 Library: Shared libraries
также виртуальный пакет, предоставляемый 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 Кб	[список файлов]