Publishing details

• Published on 2022-02-28
• 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 (1.3.1-3) unstable; urgency=medium

  * Update dependency patch for rand 0.8.3

 -- Christopher Hoskin <email address hidden>  Thu, 24 Feb 2022 04:54:40 +0000

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_1.3.1-3_amd64.ddeb (10.9 MiB)
• elan-dbgsym_1.3.1-3_arm64.ddeb (10.5 MiB)
• elan-dbgsym_1.3.1-3_armhf.ddeb (9.7 MiB)
• elan-dbgsym_1.3.1-3_ppc64el.ddeb (10.5 MiB)
• elan-dbgsym_1.3.1-3_riscv64.ddeb (11.5 MiB)
• elan-dbgsym_1.3.1-3_s390x.ddeb (12.7 MiB)
• elan_1.3.1-3.debian.tar.xz (7.1 KiB)
• elan_1.3.1-3.dsc (2.5 KiB)
• elan_1.3.1-3_amd64.deb (1.2 MiB)
• elan_1.3.1-3_arm64.deb (1.1 MiB)
• elan_1.3.1-3_armhf.deb (1.1 MiB)
• elan_1.3.1-3_ppc64el.deb (1.3 MiB)
• elan_1.3.1-3_riscv64.deb (1.1 MiB)
• elan_1.3.1-3_s390x.deb (1.3 MiB)
• elan_1.3.1.orig.tar.gz (93.7 KiB)