[ Källkod: elpi ]
Paket: libelpi-ocaml (1.17.4-3 och andra)
Länkar för libelpi-ocaml
Debianresurser:
Hämta källkodspaketet elpi:
Ansvariga:
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-qsyd4
- virtuellt paket som tillhandahålls av libppx-deriving-ocaml
-
- dep: libsexplib0-ocaml-3nli0
- virtuellt paket som tillhandahålls av libsexplib0-ocaml
-
- dep: libstdlib-ocaml-ep7y0
- virtuellt paket som tillhandahålls av libstdlib-ocaml
-
- dep: ocaml-base-4.14.1
- virtuellt paket som tillhandahålls av ocaml-base
-
- rec: ocaml-findlib
- management tool for OCaml libraries
Hämta libelpi-ocaml
Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|---|
amd64 | 1.17.4-3+b1 | 3.710,1 kbyte | 15.649,0 kbyte | [filförteckning] |