elpi 1.13.8-2build1 source package in Ubuntu

Changelog

elpi (1.13.8-2build1) jammy; urgency=medium

  * No-change rebuild for ocaml abi changes.

 -- Matthias Klose <email address hidden>  Tue, 25 Jan 2022 15:58:16 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Jammy
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
elpi_1.13.8.orig.tar.gz 1.5 MiB 7fc05444c576086098b4a2a77905d1dc2e047fdfc78f1315a76a9c6733dae9dc
elpi_1.13.8-2build1.debian.tar.xz 4.4 KiB 748b25f30ec696ebd46ffa19c6eb2b35543555b8099cd2a518e2bccc57a8fbd9
elpi_1.13.8-2build1.dsc 2.1 KiB 2514e7f2efeb54dcba9cb5d514a6af05877e067fa09ce83a8a0a042d89defd47

View changes file

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: 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.

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