Binary package “libelpi-ocaml-dev” in ubuntu noble
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.17.0-1build4 in amd64 (Release)
- libelpi-ocaml-dev 1.17.4-3build1 in amd64 (Proposed)
- libelpi-ocaml-dev 1.17.4-3build1 in amd64 (Release)
- libelpi-ocaml-dev 1.17.0-1build4 in arm64 (Release)
- libelpi-ocaml-dev 1.17.4-3build1 in arm64 (Proposed)
- libelpi-ocaml-dev 1.17.4-3build1 in arm64 (Release)
- libelpi-ocaml-dev 1.17.4-3build1 in armhf (Proposed)
- libelpi-ocaml-dev 1.17.4-3build1 in armhf (Release)
- libelpi-ocaml-dev 1.17.0-1build4 in ppc64el (Release)
- libelpi-ocaml-dev 1.17.4-3build1 in ppc64el (Proposed)
- libelpi-ocaml-dev 1.17.4-3build1 in ppc64el (Release)
- libelpi-ocaml-dev 1.17.0-1build4 in riscv64 (Release)
- libelpi-ocaml-dev 1.17.4-3build1 in riscv64 (Proposed)
- libelpi-ocaml-dev 1.17.4-3build1 in riscv64 (Release)
- libelpi-ocaml-dev 1.17.4-3build1 in s390x (Proposed)
- libelpi-ocaml-dev 1.17.4-3build1 in s390x (Release)