Publishing details

• Removal requested on 2024-05-21.
• Deleted on 2024-05-21 by Ubuntu Archive Auto-Sync

  Moved to oracular

• Published on 2024-05-12

Changelog

coq-math-classes (8.19.0-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sun, 12 May 2024 08:21:48 +0200

Builds

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

Package files

• coq-math-classes_8.19.0-1build2.debian.tar.xz (3.0 KiB)
• coq-math-classes_8.19.0-1build2.dsc (2.1 KiB)
• coq-math-classes_8.19.0.orig.tar.gz (165.1 KiB)
• libcoq-math-classes_8.19.0-1build2_amd64.deb (3.2 MiB)
• libcoq-math-classes_8.19.0-1build2_arm64.deb (3.2 MiB)
• libcoq-math-classes_8.19.0-1build2_armhf.deb (3.2 MiB)
• libcoq-math-classes_8.19.0-1build2_ppc64el.deb (3.2 MiB)
• libcoq-math-classes_8.19.0-1build2_riscv64.deb (3.2 MiB)
• libcoq-math-classes_8.19.0-1build2_s390x.deb (3.2 MiB)