Publishing details

• Created on 2024-04-10 by Ubuntu Archive Auto-Sync
• Published on 2024-04-10

Changelog

coq-ext-lib (0.12.0-1build4) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 08 Apr 2024 09:14:05 +0200

Builds

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

Built packages

• libcoq-ext-lib Collection of theories and plugins for Coq

Package files

• coq-ext-lib_0.12.0-1build4.debian.tar.xz (2.4 KiB)
• coq-ext-lib_0.12.0-1build4.dsc (2.1 KiB)
• coq-ext-lib_0.12.0.orig.tar.gz (81.5 KiB)
• libcoq-ext-lib_0.12.0-1build4_amd64.deb (822.3 KiB)
• libcoq-ext-lib_0.12.0-1build4_arm64.deb (822.1 KiB)
• libcoq-ext-lib_0.12.0-1build4_armhf.deb (821.2 KiB)
• libcoq-ext-lib_0.12.0-1build4_ppc64el.deb (822.2 KiB)
• libcoq-ext-lib_0.12.0-1build4_riscv64.deb (822.1 KiB)
• libcoq-ext-lib_0.12.0-1build4_s390x.deb (822.3 KiB)