Publishing details

• Published on 2023-10-23
• Copied from ubuntu mantic in Primary Archive for Ubuntu

Changelog

coq-elpi (1.17.1-1build8) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 28 Aug 2023 17:11:13 +0200

Builds

Built packages

• libcoq-elpi Coq plugin embedding Elpi

• libcoq-elpi-dbgsym debug symbols for libcoq-elpi

Package files

• coq-elpi_1.17.1-1build8.debian.tar.xz (3.6 KiB)
• coq-elpi_1.17.1-1build8.dsc (2.0 KiB)
• coq-elpi_1.17.1.orig.tar.gz (420.2 KiB)
• libcoq-elpi-dbgsym_1.17.1-1build8_amd64.ddeb (109.4 KiB)
• libcoq-elpi-dbgsym_1.17.1-1build8_arm64.ddeb (94.3 KiB)
• libcoq-elpi-dbgsym_1.17.1-1build8_ppc64el.ddeb (84.4 KiB)
• libcoq-elpi-dbgsym_1.17.1-1build8_riscv64.ddeb (92.4 KiB)
• libcoq-elpi_1.17.1-1build8_amd64.deb (2.9 MiB)
• libcoq-elpi_1.17.1-1build8_arm64.deb (3.0 MiB)
• libcoq-elpi_1.17.1-1build8_ppc64el.deb (2.9 MiB)
• libcoq-elpi_1.17.1-1build8_riscv64.deb (2.9 MiB)