Binary package “libelpi-ocaml-dev” in ubuntu mantic
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.
Source package
Published versions
- libelpi-ocaml-dev 1.16.8-1build2 in amd64 (Release)
- libelpi-ocaml-dev 1.17.0-1build4 in amd64 (Proposed)
- libelpi-ocaml-dev 1.17.0-1build4 in amd64 (Release)
- libelpi-ocaml-dev 1.16.8-1build2 in arm64 (Release)
- libelpi-ocaml-dev 1.17.0-1build4 in arm64 (Proposed)
- libelpi-ocaml-dev 1.17.0-1build4 in arm64 (Release)
- libelpi-ocaml-dev 1.16.8-1build2 in ppc64el (Release)
- libelpi-ocaml-dev 1.17.0-1build4 in ppc64el (Proposed)
- libelpi-ocaml-dev 1.17.0-1build4 in ppc64el (Release)
- libelpi-ocaml-dev 1.16.8-1build2 in riscv64 (Release)
- libelpi-ocaml-dev 1.17.0-1build4 in riscv64 (Proposed)
- libelpi-ocaml-dev 1.17.0-1build4 in riscv64 (Release)