Publishing details

• Created on 2023-08-30 by Ubuntu Archive Auto-Sync
• Published on 2023-08-30

Changelog

mathcomp-analysis (0.6.4-3build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 28 Aug 2023 18:02:11 +0200

Builds

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

Built packages

• libcoq-mathcomp-analysis analysis extension for Mathematical Components

• libcoq-mathcomp-classical classical logic extension for Mathematical Components

Package files

• libcoq-mathcomp-analysis_0.6.4-3build1_amd64.deb (13.3 MiB)
• libcoq-mathcomp-analysis_0.6.4-3build1_arm64.deb (13.3 MiB)
• libcoq-mathcomp-analysis_0.6.4-3build1_ppc64el.deb (13.3 MiB)
• libcoq-mathcomp-analysis_0.6.4-3build1_riscv64.deb (13.3 MiB)
• libcoq-mathcomp-classical_0.6.4-3build1_amd64.deb (2.3 MiB)
• libcoq-mathcomp-classical_0.6.4-3build1_arm64.deb (2.3 MiB)
• libcoq-mathcomp-classical_0.6.4-3build1_ppc64el.deb (2.3 MiB)
• libcoq-mathcomp-classical_0.6.4-3build1_riscv64.deb (2.3 MiB)
• mathcomp-analysis_0.6.4-3build1.debian.tar.xz (9.0 KiB)
• mathcomp-analysis_0.6.4-3build1.dsc (2.4 KiB)
• mathcomp-analysis_0.6.4.orig.tar.gz (792.5 KiB)