Publishing details

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

Changelog

elan (3.1.0-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

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

Builds

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

Built packages

• elan tool for managing installations of the Lean theorem prover

• elan-dbgsym debug symbols for elan

Package files

• elan-dbgsym_3.1.0-1build2_amd64.ddeb (14.5 MiB)
• elan-dbgsym_3.1.0-1build2_arm64.ddeb (14.0 MiB)
• elan-dbgsym_3.1.0-1build2_armhf.ddeb (11.8 MiB)
• elan-dbgsym_3.1.0-1build2_ppc64el.ddeb (13.2 MiB)
• elan-dbgsym_3.1.0-1build2_riscv64.ddeb (14.7 MiB)
• elan-dbgsym_3.1.0-1build2_s390x.ddeb (15.6 MiB)
• elan_3.1.0-1build2.debian.tar.xz (6.2 KiB)
• elan_3.1.0-1build2.dsc (2.8 KiB)
• elan_3.1.0-1build2_amd64.deb (1.4 MiB)
• elan_3.1.0-1build2_arm64.deb (1.3 MiB)
• elan_3.1.0-1build2_armhf.deb (1.1 MiB)
• elan_3.1.0-1build2_ppc64el.deb (1.4 MiB)
• elan_3.1.0-1build2_riscv64.deb (1.1 MiB)
• elan_3.1.0-1build2_s390x.deb (1.3 MiB)
• elan_3.1.0.orig.tar.gz (91.4 KiB)