eLxr packages [ bianca ]
[ Quellcode: elpi ]
Paket: libelpi-ocaml (2.0.7-1 und andere)
Links für libelpi-ocaml
Quellcode-Paket elpi herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu libelpi-ocaml
|
|
|
|
-
- dep: libppx-deriving-ocaml-k42a0 [arm64]
- virtuelles Paket, bereitgestellt durch libppx-deriving-ocaml
-
- dep: libppx-deriving-ocaml-kejh4 [amd64]
- virtuelles Paket, bereitgestellt durch libppx-deriving-ocaml
-
- dep: libsexplib0-ocaml-yj523
- virtuelles Paket, bereitgestellt durch libsexplib0-ocaml
-
- dep: libstdlib-ocaml-m4xw9
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml
-
- dep: ocaml-base-5.3.0
- virtuelles Paket, bereitgestellt durch ocaml-base
-
- rec: ocaml-findlib
- management tool for OCaml libraries
libelpi-ocaml herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| amd64 | 2.0.7-1+b1 | 3.795,7 kB | 9.573,0 kB | [Liste der Dateien] |
| arm64 | 2.0.7-1+b1 | 3.858,3 kB | 10.473,0 kB | [Liste der Dateien] |