Publishing details

• Created on 2020-12-02 by Ubuntu Archive Auto-Sync
• Removal requested on 2022-07-23.
• Published on 2020-12-02

Changelog

coq (8.12.0-3build3) hirsute; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Nov 2020 10:24:45 +0100

Builds

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

Package files

• coq-dbgsym_8.12.0-3build3_amd64.ddeb (8.2 MiB)
• coq-dbgsym_8.12.0-3build3_arm64.ddeb (6.6 MiB)
• coq-dbgsym_8.12.0-3build3_armhf.ddeb (6.1 MiB)
• coq-dbgsym_8.12.0-3build3_ppc64el.ddeb (5.4 MiB)
• coq-dbgsym_8.12.0-3build3_riscv64.ddeb (6.5 MiB)
• coq-theories-dbgsym_8.12.0-3build3_amd64.ddeb (962.2 KiB)
• coq-theories_8.12.0-3build3_amd64.deb (34.6 MiB)
• coq-theories_8.12.0-3build3_arm64.deb (22.8 MiB)
• coq-theories_8.12.0-3build3_armhf.deb (22.8 MiB)
• coq-theories_8.12.0-3build3_ppc64el.deb (22.8 MiB)
• coq-theories_8.12.0-3build3_riscv64.deb (22.8 MiB)
• coq_8.12.0-3build3.debian.tar.xz (37.0 KiB)
• coq_8.12.0-3build3.dsc (2.4 KiB)
• coq_8.12.0-3build3_amd64.deb (86.3 MiB)
• coq_8.12.0-3build3_arm64.deb (91.7 MiB)
• coq_8.12.0-3build3_armhf.deb (84.3 MiB)
• coq_8.12.0-3build3_ppc64el.deb (87.2 MiB)
• coq_8.12.0-3build3_riscv64.deb (83.9 MiB)
• coq_8.12.0.orig.tar.gz (5.7 MiB)
• coqide-dbgsym_8.12.0-3build3_amd64.ddeb (555.8 KiB)
• coqide-dbgsym_8.12.0-3build3_arm64.ddeb (564.2 KiB)
• coqide-dbgsym_8.12.0-3build3_armhf.ddeb (488.8 KiB)
• coqide-dbgsym_8.12.0-3build3_ppc64el.ddeb (473.1 KiB)
• coqide-dbgsym_8.12.0-3build3_riscv64.ddeb (486.3 KiB)
• coqide_8.12.0-3build3_amd64.deb (1.8 MiB)
• coqide_8.12.0-3build3_arm64.deb (2.1 MiB)
• coqide_8.12.0-3build3_armhf.deb (1.7 MiB)
• coqide_8.12.0-3build3_ppc64el.deb (1.9 MiB)
• coqide_8.12.0-3build3_riscv64.deb (1.7 MiB)
• libcoq-ocaml-dbgsym_8.12.0-3build3_amd64.ddeb (646.6 KiB)
• libcoq-ocaml-dbgsym_8.12.0-3build3_arm64.ddeb (562.4 KiB)
• libcoq-ocaml-dbgsym_8.12.0-3build3_armhf.ddeb (566.2 KiB)
• libcoq-ocaml-dbgsym_8.12.0-3build3_ppc64el.ddeb (507.8 KiB)
• libcoq-ocaml-dbgsym_8.12.0-3build3_riscv64.ddeb (549.2 KiB)
• libcoq-ocaml-dev_8.12.0-3build3_amd64.deb (17.8 MiB)
• libcoq-ocaml-dev_8.12.0-3build3_arm64.deb (17.8 MiB)
• libcoq-ocaml-dev_8.12.0-3build3_armhf.deb (18.3 MiB)
• libcoq-ocaml-dev_8.12.0-3build3_ppc64el.deb (18.5 MiB)
• libcoq-ocaml-dev_8.12.0-3build3_riscv64.deb (20.6 MiB)
• libcoq-ocaml_8.12.0-3build3_amd64.deb (7.4 MiB)
• libcoq-ocaml_8.12.0-3build3_arm64.deb (7.7 MiB)
• libcoq-ocaml_8.12.0-3build3_armhf.deb (7.4 MiB)
• libcoq-ocaml_8.12.0-3build3_ppc64el.deb (7.4 MiB)
• libcoq-ocaml_8.12.0-3build3_riscv64.deb (7.3 MiB)