Publishing details

• Removal requested on 2023-11-13.
• Published on 2022-06-17
• Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
• Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

coq-bignums (8.15.0-7) unstable; urgency=medium

  * Depend on a more recent dh-coq to fix issues.

 -- Julien Puydt <email address hidden>  Wed, 15 Jun 2022 10:18:44 +0200

Builds

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

Package files

• coq-bignums_8.15.0-7.debian.tar.xz (1.9 KiB)
• coq-bignums_8.15.0-7.dsc (2.2 KiB)
• coq-bignums_8.15.0.orig.tar.gz (112.8 KiB)
• libcoq-bignums-ocaml-dbgsym_8.15.0-7_amd64.ddeb (3.5 KiB)
• libcoq-bignums-ocaml-dbgsym_8.15.0-7_arm64.ddeb (3.7 KiB)
• libcoq-bignums-ocaml-dbgsym_8.15.0-7_armhf.ddeb (3.9 KiB)
• libcoq-bignums-ocaml-dbgsym_8.15.0-7_ppc64el.ddeb (3.6 KiB)
• libcoq-bignums-ocaml-dbgsym_8.15.0-7_riscv64.ddeb (3.5 KiB)
• libcoq-bignums-ocaml-dbgsym_8.15.0-7_s390x.ddeb (3.3 KiB)
• libcoq-bignums-ocaml-dev_8.15.0-7_amd64.deb (8.8 KiB)
• libcoq-bignums-ocaml-dev_8.15.0-7_arm64.deb (8.8 KiB)
• libcoq-bignums-ocaml-dev_8.15.0-7_armhf.deb (8.8 KiB)
• libcoq-bignums-ocaml-dev_8.15.0-7_ppc64el.deb (8.8 KiB)
• libcoq-bignums-ocaml-dev_8.15.0-7_riscv64.deb (8.8 KiB)
• libcoq-bignums-ocaml-dev_8.15.0-7_s390x.deb (8.8 KiB)
• libcoq-bignums-ocaml_8.15.0-7_amd64.deb (16.2 KiB)
• libcoq-bignums-ocaml_8.15.0-7_arm64.deb (17.2 KiB)
• libcoq-bignums-ocaml_8.15.0-7_armhf.deb (15.5 KiB)
• libcoq-bignums-ocaml_8.15.0-7_ppc64el.deb (16.7 KiB)
• libcoq-bignums-ocaml_8.15.0-7_riscv64.deb (16.1 KiB)
• libcoq-bignums-ocaml_8.15.0-7_s390x.deb (16.1 KiB)
• libcoq-bignums_8.15.0-7_amd64.deb (2.0 MiB)
• libcoq-bignums_8.15.0-7_arm64.deb (2.0 MiB)
• libcoq-bignums_8.15.0-7_armhf.deb (2.0 MiB)
• libcoq-bignums_8.15.0-7_ppc64el.deb (2.0 MiB)
• libcoq-bignums_8.15.0-7_riscv64.deb (2.0 MiB)
• libcoq-bignums_8.15.0-7_s390x.deb (2.0 MiB)