Publishing details

• Created on 2024-05-21 by Ubuntu Archive Auto-Sync
• Removed from disk on 2024-06-19.
• Removal requested on 2024-06-18.
• Superseded on 2024-06-17 by coq-ext-lib - 0.12.1-1build3
• Published on 2024-05-21

Changelog

coq-ext-lib (0.12.1-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 13 May 2024 20:19:55 +0200

Builds

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

Package files

• coq-ext-lib_0.12.1-1build2.debian.tar.xz (2.3 KiB)
• coq-ext-lib_0.12.1-1build2.dsc (2.0 KiB)
• coq-ext-lib_0.12.1.orig.tar.gz (82.3 KiB)
• libcoq-ext-lib_0.12.1-1build2_amd64.deb (849.7 KiB)
• libcoq-ext-lib_0.12.1-1build2_arm64.deb (849.7 KiB)
• libcoq-ext-lib_0.12.1-1build2_armhf.deb (849.0 KiB)
• libcoq-ext-lib_0.12.1-1build2_ppc64el.deb (849.7 KiB)
• libcoq-ext-lib_0.12.1-1build2_riscv64.deb (849.7 KiB)
• libcoq-ext-lib_0.12.1-1build2_s390x.deb (849.7 KiB)