Skip to content
Sections
>> Trisquel >> パッケージ >> aramo >> ocaml >> libelpi-ocaml-dev
aramo  ]
[ ソース: elpi  ]

パッケージ: libelpi-ocaml-dev (1.14.1-1)

embeddable lambda-Prolog interpreter (dev 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 dev files.

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

  • 依存
  • 推奨
  • 提案

libelpi-ocaml-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 8,164.8 kB31932 kB [ファイル一覧]
arm64 8,989.0 kB34608 kB [ファイル一覧]
armhf 8,174.9 kB27005 kB [ファイル一覧]
ppc64el 8,536.1 kB33971 kB [ファイル一覧]