Publishing details

• Created on 2023-07-31 by Ubuntu Archive Auto-Sync
• Published on 2023-07-31

Changelog

mathcomp-zify (1.3.0+1.12+8.13-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 24 Jul 2023 19:06:58 +0200

Builds

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

Built packages

• libcoq-mathcomp-zify Micromega arithmetic solvers for Mathematical Components

Package files

• libcoq-mathcomp-zify_1.3.0+1.12+8.13-1build1_amd64.deb (252.5 KiB)
• libcoq-mathcomp-zify_1.3.0+1.12+8.13-1build1_arm64.deb (252.5 KiB)
• libcoq-mathcomp-zify_1.3.0+1.12+8.13-1build1_armhf.deb (252.4 KiB)
• libcoq-mathcomp-zify_1.3.0+1.12+8.13-1build1_ppc64el.deb (252.4 KiB)
• libcoq-mathcomp-zify_1.3.0+1.12+8.13-1build1_riscv64.deb (252.5 KiB)
• libcoq-mathcomp-zify_1.3.0+1.12+8.13-1build1_s390x.deb (252.5 KiB)
• mathcomp-zify_1.3.0+1.12+8.13-1build1.debian.tar.xz (8.4 KiB)
• mathcomp-zify_1.3.0+1.12+8.13-1build1.dsc (2.1 KiB)
• mathcomp-zify_1.3.0+1.12+8.13.orig.tar.gz (20.0 KiB)