Publishing details

• Created on 2024-06-17 by Ubuntu Archive Auto-Sync
• Published on 2024-06-17

Changelog

coq-record-update (0.3.4-2build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 15 Jun 2024 16:34:45 +0200

Builds

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

Built packages

• libcoq-record-update automatic record fields updaters for Coq

Package files

• coq-record-update_0.3.4-2build2.debian.tar.xz (2.1 KiB)
• coq-record-update_0.3.4-2build2.dsc (2.1 KiB)
• coq-record-update_0.3.4.orig.tar.gz (13.3 KiB)
• libcoq-record-update_0.3.4-2build2_amd64.deb (15.3 KiB)
• libcoq-record-update_0.3.4-2build2_arm64.deb (15.3 KiB)
• libcoq-record-update_0.3.4-2build2_armhf.deb (15.3 KiB)
• libcoq-record-update_0.3.4-2build2_ppc64el.deb (15.3 KiB)
• libcoq-record-update_0.3.4-2build2_riscv64.deb (15.3 KiB)
• libcoq-record-update_0.3.4-2build2_s390x.deb (15.3 KiB)