Ubuntu
elpi package

elpi 1.14.1-1 source package in Ubuntu

Changelog

elpi (1.14.1-1) unstable; urgency=medium

  * Add a debian/upstream/metadata file.
  * New upstream release.

 -- Julien Puydt <email address hidden>  Tue, 08 Feb 2022 22:05:04 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Jammy release universe misc

Downloads

File Size SHA-256 Checksum
elpi_1.14.1-1.dsc 2.1 KiB e7807d3222e9ef7d74f0e2715239520b4aa1ea1e4ef67ff0a41bb5044fd5145d
elpi_1.14.1.orig.tar.gz 1.5 MiB 9be494dde5c04b091556d1b42f2f08a5845a81f7e0b18419ec7953210e5f23d5
elpi_1.14.1-1.debian.tar.xz 4.0 KiB 5d60e11fffa7a827c6fde4b3bfc3329bd41aa44824e100ff4f3257f54d1d4a46

No changes file available.

Binary packages built by this source

elpi: embeddable lambda-Prolog interpreter (tool)

 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 command-line tool.

elpi-dbgsym: debug symbols for elpi
libelpi-ocaml: 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.

libelpi-ocaml-dbgsym: debug symbols for libelpi-ocaml
libelpi-ocaml-dev: No summary available for libelpi-ocaml-dev in ubuntu kinetic.

No description available for libelpi-ocaml-dev in ubuntu kinetic.

libelpi-ocaml-dev-dbgsym: debug symbols for libelpi-ocaml-dev