[ aramo ]
[ Källkod: elpi ]
Paket: libelpi-ocaml (1.14.1-1)
Länkar för libelpi-ocaml
Trisquelresurser:
Hämta källkodspaketet elpi:
Ansvarig:
Original Maintainers:
- Debian OCaml Maintainers (E-postarkiv)
- Julien Puydt
Externa resurser:
- Hemsida [github.com]
Liknande paket:
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.
Andra paket besläktade med libelpi-ocaml
|
|
|
-
- dep: libppx-deriving-ocaml-lpkz4
- virtuellt paket som tillhandahålls av libppx-deriving-ocaml
-
- dep: libsexplib0-ocaml-l23l7
- virtuellt paket som tillhandahålls av libsexplib0-ocaml
-
- dep: ocaml-base-4.13.1
- virtuellt paket som tillhandahålls av ocaml-base
-
- rec: ocaml-findlib
- management tool for OCaml libraries
Hämta libelpi-ocaml
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| arm64 | 2.492,7 kbyte | 7866 kbyte | [filförteckning] |