Publishing details

• Created on 2024-04-10 by Ubuntu Archive Auto-Sync
• Published on 2024-04-10

Changelog

paramcoq (1.1.3+coq8.18-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- William Grant <email address hidden>  Mon, 01 Apr 2024 16:15:42 +1100

Builds

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

Built packages

• libcoq-paramcoq Coq plugin to generate parametricity statements

• libcoq-paramcoq-dbgsym debug symbols for libcoq-paramcoq

Package files

• libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1build2_amd64.ddeb (13.4 KiB)
• libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1build2_arm64.ddeb (15.2 KiB)
• libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1build2_armhf.ddeb (15.6 KiB)
• libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1build2_ppc64el.ddeb (13.3 KiB)
• libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1build2_riscv64.ddeb (13.4 KiB)
• libcoq-paramcoq-dbgsym_1.1.3+coq8.18-1build2_s390x.ddeb (11.8 KiB)
• libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb (126.8 KiB)
• libcoq-paramcoq_1.1.3+coq8.18-1build2_arm64.deb (145.2 KiB)
• libcoq-paramcoq_1.1.3+coq8.18-1build2_armhf.deb (124.9 KiB)
• libcoq-paramcoq_1.1.3+coq8.18-1build2_ppc64el.deb (132.4 KiB)
• libcoq-paramcoq_1.1.3+coq8.18-1build2_riscv64.deb (133.3 KiB)
• libcoq-paramcoq_1.1.3+coq8.18-1build2_s390x.deb (133.1 KiB)
• paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz (3.2 KiB)
• paramcoq_1.1.3+coq8.18-1build2.dsc (2.1 KiB)
• paramcoq_1.1.3+coq8.18.orig.tar.gz (44.7 KiB)