Publishing details

• Superseded on 2024-05-21 by coq-math-classes - 8.19.0-1build2
• Published on 2024-04-29
• Copied from ubuntu noble in Primary Archive for Ubuntu

Changelog

coq-math-classes (8.18.0-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

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

Builds

Package files

• coq-math-classes_8.18.0-1build3.debian.tar.xz (3.1 KiB)
• coq-math-classes_8.18.0-1build3.dsc (2.2 KiB)
• coq-math-classes_8.18.0.orig.tar.gz (165.0 KiB)
• libcoq-math-classes_8.18.0-1build3_amd64.deb (3.2 MiB)
• libcoq-math-classes_8.18.0-1build3_arm64.deb (3.2 MiB)
• libcoq-math-classes_8.18.0-1build3_armhf.deb (3.2 MiB)
• libcoq-math-classes_8.18.0-1build3_ppc64el.deb (3.2 MiB)
• libcoq-math-classes_8.18.0-1build3_riscv64.deb (3.2 MiB)
• libcoq-math-classes_8.18.0-1build3_s390x.deb (3.2 MiB)