Publishing details

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

Changelog

coq-bignums (8.17.0-3build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 26 Jul 2023 07:10:40 +0200

Builds

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

Built packages

• libcoq-bignums Coq library for big numbers

• libcoq-bignums-dbgsym debug symbols for libcoq-bignums

Package files

• coq-bignums_8.17.0-3build1.debian.tar.xz (2.0 KiB)
• coq-bignums_8.17.0-3build1.dsc (2.0 KiB)
• coq-bignums_8.17.0.orig.tar.gz (113.4 KiB)
• libcoq-bignums-dbgsym_8.17.0-3build1_amd64.ddeb (3.5 KiB)
• libcoq-bignums-dbgsym_8.17.0-3build1_arm64.ddeb (3.7 KiB)
• libcoq-bignums-dbgsym_8.17.0-3build1_armhf.ddeb (4.0 KiB)
• libcoq-bignums-dbgsym_8.17.0-3build1_ppc64el.ddeb (3.6 KiB)
• libcoq-bignums-dbgsym_8.17.0-3build1_riscv64.ddeb (3.6 KiB)
• libcoq-bignums-dbgsym_8.17.0-3build1_s390x.ddeb (3.4 KiB)
• libcoq-bignums_8.17.0-3build1_amd64.deb (2.0 MiB)
• libcoq-bignums_8.17.0-3build1_arm64.deb (2.0 MiB)
• libcoq-bignums_8.17.0-3build1_armhf.deb (2.0 MiB)
• libcoq-bignums_8.17.0-3build1_ppc64el.deb (2.0 MiB)
• libcoq-bignums_8.17.0-3build1_riscv64.deb (2.0 MiB)
• libcoq-bignums_8.17.0-3build1_s390x.deb (2.0 MiB)