Publishing details

• Removed from disk on 2024-05-22.
• Removal requested on 2024-05-22.
• Superseded on 2024-05-21 by coq-reduction-effects - 0.1.5-4build2
• Published on 2024-05-02
• 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-reduction-effects (0.1.5-4) unstable; urgency=medium

  * Fix target distribution (dch -r issue?).

 -- Julien Puydt <email address hidden>  Fri, 26 Apr 2024 15:50:51 +0200

Builds

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

Package files

• coq-reduction-effects_0.1.5-4.debian.tar.xz (1.8 KiB)
• coq-reduction-effects_0.1.5-4.dsc (2.2 KiB)
• coq-reduction-effects_0.1.5.orig.tar.gz (10.1 KiB)
• libcoq-reduction-effects-dbgsym_0.1.5-4_amd64.ddeb (2.8 KiB)
• libcoq-reduction-effects-dbgsym_0.1.5-4_arm64.ddeb (2.9 KiB)
• libcoq-reduction-effects-dbgsym_0.1.5-4_armhf.ddeb (3.1 KiB)
• libcoq-reduction-effects-dbgsym_0.1.5-4_ppc64el.ddeb (2.8 KiB)
• libcoq-reduction-effects-dbgsym_0.1.5-4_riscv64.ddeb (2.9 KiB)
• libcoq-reduction-effects-dbgsym_0.1.5-4_s390x.ddeb (2.7 KiB)
• libcoq-reduction-effects_0.1.5-4_amd64.deb (14.1 KiB)
• libcoq-reduction-effects_0.1.5-4_arm64.deb (14.6 KiB)
• libcoq-reduction-effects_0.1.5-4_armhf.deb (13.7 KiB)
• libcoq-reduction-effects_0.1.5-4_ppc64el.deb (14.4 KiB)
• libcoq-reduction-effects_0.1.5-4_riscv64.deb (14.2 KiB)
• libcoq-reduction-effects_0.1.5-4_s390x.deb (14.0 KiB)