[ bianca ]

[ ソース: elpi ]

パッケージ: libelpi-ocaml (2.0.7-1 など)

libelpi-ocaml に関するリンク

eLxr パッチ追跡システム

elpi ソースパッケージをダウンロード:

メンテナ:

外部の資源:

ホームページ [github.com]

類似のパッケージ:

embeddable lambda-Prolog interpreter (runtime files)

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 runtime files.

その他の libelpi-ocaml 関連パッケージ

依存

推奨

提案

enhances

dep: libppx-deriving-ocaml-k42a0 [arm64]

以下のパッケージによって提供される仮想パッケージです: libppx-deriving-ocaml
dep: libppx-deriving-ocaml-kejh4 [amd64]

以下のパッケージによって提供される仮想パッケージです: libppx-deriving-ocaml
dep: libsexplib0-ocaml-yj523

以下のパッケージによって提供される仮想パッケージです: libsexplib0-ocaml
dep: libstdlib-ocaml-m4xw9

以下のパッケージによって提供される仮想パッケージです: libstdlib-ocaml
dep: ocaml-base-5.3.0

以下のパッケージによって提供される仮想パッケージです: ocaml-base

rec: ocaml-findlib

management tool for OCaml libraries

libelpi-ocaml のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	2.0.7-1+b1	3,795.7 kB	9,573.0 kB	[ファイル一覧]
arm64	2.0.7-1+b1	3,858.3 kB	10,473.0 kB	[ファイル一覧]