packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain elpi in all suites, all sections, and all architectures. Found 6 matching packages.

Exact hits

Package elpi

• jammy (22.04LTS) (ocaml): embeddable lambda-Prolog interpreter (tool) [universe]
  1.14.1-1: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (ocaml): embeddable lambda-Prolog interpreter (tool) [universe]
  1.17.4-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (ocaml): embeddable lambda-Prolog interpreter (tool) [universe]
  2.0.7-1build2: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): embeddable lambda-Prolog interpreter (tool) [universe]
  2.0.7-3build3: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): embeddable lambda-Prolog interpreter (tool) [universe]
  2.0.7-3build3: amd64 arm64 ppc64el riscv64 s390x

Other hits

Package libcoq-elpi

• noble (24.04LTS) (ocaml): Coq plugin embedding Elpi [universe]
  1.19.3-2build4: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (ocaml): Coq plugin embedding Elpi [universe]
  2.5.0-1.1build1: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): Coq plugin embedding Elpi [universe]
  2.5.0-1.2build3: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): Coq plugin embedding Elpi [universe]
  2.5.0-1.2build3: amd64 arm64 ppc64el riscv64 s390x

Package libcoq-elpi-ocaml

• jammy (22.04LTS) (ocaml): Coq plugin embedding Elpi (runtime) [universe]
  1.13.0-1: amd64 arm64 armhf ppc64el riscv64

Package libcoq-elpi-ocaml-dev

• jammy (22.04LTS) (ocaml): Coq plugin embedding Elpi (devel) [universe]
  1.13.0-1: amd64 arm64 armhf ppc64el riscv64

Package libelpi-ocaml

• jammy (22.04LTS) (ocaml): embeddable lambda-Prolog interpreter (runtime files) [universe]
  1.14.1-1: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (ocaml): embeddable lambda-Prolog interpreter (runtime files) [universe]
  1.17.4-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (ocaml): embeddable lambda-Prolog interpreter (runtime files) [universe]
  2.0.7-1build2: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): embeddable lambda-Prolog interpreter (runtime files) [universe]
  2.0.7-3build3: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): embeddable lambda-Prolog interpreter (runtime files) [universe]
  2.0.7-3build3: amd64 arm64 ppc64el riscv64 s390x

Package libelpi-ocaml-dev

• jammy (22.04LTS) (ocaml): embeddable lambda-Prolog interpreter (dev files) [universe]
  1.14.1-1: amd64 arm64 armhf ppc64el riscv64 s390x
• noble (24.04LTS) (ocaml): embeddable lambda-Prolog interpreter (dev files) [universe]
  1.17.4-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (ocaml): embeddable lambda-Prolog interpreter (dev files) [universe]
  2.0.7-1build2: amd64 arm64 ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): embeddable lambda-Prolog interpreter (dev files) [universe]
  2.0.7-3build3: amd64 arm64 ppc64el riscv64 s390x
• stonking (ocaml): embeddable lambda-Prolog interpreter (dev files) [universe]
  2.0.7-3build3: amd64 arm64 ppc64el riscv64 s390x