Publishing details

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

Changelog

coq-reduction-effects (0.1.4-4build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

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

Builds

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

Built packages

• libcoq-reduction-effects reduction effects for Coq

• libcoq-reduction-effects-dbgsym debug symbols for libcoq-reduction-effects

Package files

• coq-reduction-effects_0.1.4-4build1.debian.tar.xz (1.7 KiB)
• coq-reduction-effects_0.1.4-4build1.dsc (2.2 KiB)
• coq-reduction-effects_0.1.4.orig.tar.gz (10.1 KiB)
• libcoq-reduction-effects-dbgsym_0.1.4-4build1_amd64.ddeb (2.8 KiB)
• libcoq-reduction-effects-dbgsym_0.1.4-4build1_arm64.ddeb (2.9 KiB)
• libcoq-reduction-effects-dbgsym_0.1.4-4build1_armhf.ddeb (3.1 KiB)
• libcoq-reduction-effects-dbgsym_0.1.4-4build1_ppc64el.ddeb (2.8 KiB)
• libcoq-reduction-effects-dbgsym_0.1.4-4build1_riscv64.ddeb (2.9 KiB)
• libcoq-reduction-effects-dbgsym_0.1.4-4build1_s390x.ddeb (2.6 KiB)
• libcoq-reduction-effects_0.1.4-4build1_amd64.deb (14.1 KiB)
• libcoq-reduction-effects_0.1.4-4build1_arm64.deb (14.7 KiB)
• libcoq-reduction-effects_0.1.4-4build1_armhf.deb (13.8 KiB)
• libcoq-reduction-effects_0.1.4-4build1_ppc64el.deb (14.5 KiB)
• libcoq-reduction-effects_0.1.4-4build1_riscv64.deb (14.1 KiB)
• libcoq-reduction-effects_0.1.4-4build1_s390x.deb (14.1 KiB)