パッケージ: libelpi-ocaml-dev (1.16.5-1) [debports]
libelpi-ocaml-dev に関するリンク
Debian の資源:
ソースパッケージをダウンロード:
見つかりませんメンテナ:
外部の資源:
- ホームページ [github.com]
類似のパッケージ:
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 関連パッケージ
|
|
|
|
-
- dep: libc6.1 (>= 2.33)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6.1-udeb
-
- dep: libelpi-ocaml-fyv03
- 以下のパッケージによって提供される仮想パッケージです: libelpi-ocaml
-
- dep: libmenhir-ocaml-dev-iyb96
- パッケージは利用できません
-
- dep: libocaml-compiler-libs-ocaml-dev-eowf1
- パッケージは利用できません
-
- dep: libppx-deriving-ocaml-dev-4hrg9
- パッケージは利用できません
-
- dep: libppxlib-ocaml-dev-y0sh4
- パッケージは利用できません
-
- dep: libre-ocaml-dev-rrqs7
- パッケージは利用できません
-
- dep: libsexplib0-ocaml-dev-vx1x7
- パッケージは利用できません
-
- dep: ocaml-4.13.1
- 以下のパッケージによって提供される仮想パッケージです: ocaml
-
- rec: ocaml-findlib
- management tool for OCaml libraries