Publishing details

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

Changelog

coquelicot (3.4.1-1build5) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

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

Builds

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

Built packages

• libcoq-coquelicot Coq library for real analysis

Package files

• coquelicot_3.4.1-1build5.debian.tar.xz (2.3 KiB)
• coquelicot_3.4.1-1build5.dsc (2.1 KiB)
• coquelicot_3.4.1.orig.tar.gz (274.9 KiB)
• libcoq-coquelicot_3.4.1-1build5_amd64.deb (3.6 MiB)
• libcoq-coquelicot_3.4.1-1build5_arm64.deb (3.6 MiB)
• libcoq-coquelicot_3.4.1-1build5_armhf.deb (3.6 MiB)
• libcoq-coquelicot_3.4.1-1build5_ppc64el.deb (3.6 MiB)
• libcoq-coquelicot_3.4.1-1build5_riscv64.deb (3.6 MiB)
• libcoq-coquelicot_3.4.1-1build5_s390x.deb (3.6 MiB)