Publishing details

• Created on 2024-05-22 by Ubuntu Archive Auto-Sync
• Removed from disk on 2024-06-08.
• Removal requested on 2024-06-07.
• Superseded on 2024-06-06 by coquelicot - 3.4.1-2build3
• Published on 2024-05-22

Changelog

coquelicot (3.4.1-2build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Tue, 21 May 2024 12:33:28 +0200

Builds

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

Package files

• coquelicot_3.4.1-2build2.debian.tar.xz (2.1 KiB)
• coquelicot_3.4.1-2build2.dsc (2.0 KiB)
• coquelicot_3.4.1.orig.tar.gz (274.9 KiB)
• libcoq-coquelicot_3.4.1-2build2_amd64.deb (3.7 MiB)
• libcoq-coquelicot_3.4.1-2build2_arm64.deb (3.7 MiB)
• libcoq-coquelicot_3.4.1-2build2_ppc64el.deb (3.7 MiB)
• libcoq-coquelicot_3.4.1-2build2_riscv64.deb (3.7 MiB)