Publishing details

• Published on 2023-07-08
• 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

elan (2.0.0-1) unstable; urgency=medium

  * Import new upstream version (2.0.0)
  * Update patches
  * Bump standards-version from 4.6.1.0 to 4.6.2 (no change)

 -- Christopher Hoskin <email address hidden>  Sat, 08 Jul 2023 13:44:10 +0100

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_2.0.0-1_amd64.ddeb (12.2 MiB)
• elan-dbgsym_2.0.0-1_arm64.ddeb (11.9 MiB)
• elan-dbgsym_2.0.0-1_armhf.ddeb (10.3 MiB)
• elan-dbgsym_2.0.0-1_ppc64el.ddeb (11.4 MiB)
• elan-dbgsym_2.0.0-1_riscv64.ddeb (12.6 MiB)
• elan-dbgsym_2.0.0-1_s390x.ddeb (13.8 MiB)
• elan_2.0.0-1.debian.tar.xz (5.6 KiB)
• elan_2.0.0-1.dsc (2.7 KiB)
• elan_2.0.0-1_amd64.deb (1.2 MiB)
• elan_2.0.0-1_arm64.deb (1.1 MiB)
• elan_2.0.0-1_armhf.deb (1.0 MiB)
• elan_2.0.0-1_ppc64el.deb (1.3 MiB)
• elan_2.0.0-1_riscv64.deb (1.1 MiB)
• elan_2.0.0-1_s390x.deb (1.2 MiB)
• elan_2.0.0.orig.tar.gz (93.1 KiB)