パッケージ: 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 kB	9,128.0 kB	[ファイル一覧]
arm64	2.0.7-1+b1	2,062.8 kB	10,820.0 kB	[ファイル一覧]