elpi 1.17.4-3build1 source package in Ubuntu
Changelog
elpi (1.17.4-3build1) noble; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Sat, 17 Feb 2024 01:22:51 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Noble
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Noble | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
elpi_1.17.4.orig.tar.gz | 2.5 MiB | 1f47073fdf2fe2aa55f51a8dc63b667c8413bc86090b85268811ba13e9583d9d |
elpi_1.17.4-3build1.debian.tar.xz | 4.5 KiB | 2008cb89b6ca938cfdef06cd897d2f34dd50469909d7bc26a0161f8bc285550a |
elpi_1.17.4-3build1.dsc | 2.3 KiB | bc85e8e0d48d7748cd63fbfdc6608a15184997cec012a2b5b6f87ff5ca4971db |
Available diffs
- diff from 1.17.4-3 (in Debian) to 1.17.4-3build1 (331 bytes)
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