Publishing details

• Published on 2023-11-04

Changelog

coq-elpi (1.17.1-1build9) noble; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 04 Nov 2023 20:13:21 +0100

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• libcoq-elpi Coq plugin embedding Elpi

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

Package files

• coq-elpi_1.17.1-1build9.debian.tar.xz (3.6 KiB)
• coq-elpi_1.17.1-1build9.dsc (2.0 KiB)
• coq-elpi_1.17.1.orig.tar.gz (420.2 KiB)
• libcoq-elpi-dbgsym_1.17.1-1build9_amd64.ddeb (109.4 KiB)
• libcoq-elpi-dbgsym_1.17.1-1build9_arm64.ddeb (94.2 KiB)
• libcoq-elpi-dbgsym_1.17.1-1build9_ppc64el.ddeb (84.2 KiB)
• libcoq-elpi-dbgsym_1.17.1-1build9_riscv64.ddeb (92.2 KiB)
• libcoq-elpi_1.17.1-1build9_amd64.deb (2.9 MiB)
• libcoq-elpi_1.17.1-1build9_arm64.deb (3.0 MiB)
• libcoq-elpi_1.17.1-1build9_ppc64el.deb (2.9 MiB)
• libcoq-elpi_1.17.1-1build9_riscv64.deb (2.9 MiB)