Ubuntu
elan package

elan 3.1.0-1build2 source package in Ubuntu

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

Upload details

Uploaded by:
William Grant
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc
Noble release universe misc

Downloads

File Size SHA-256 Checksum
elan_3.1.0.orig.tar.gz 91.4 KiB 634366078812599bef485eec3af25bc3fa88da6dbe39414128b9c9e14a681a0a
elan_3.1.0-1build2.debian.tar.xz 6.2 KiB 22173465bf5796edec1fe5ac83d9196c4298287a9c457388f01d56ddbdf197aa
elan_3.1.0-1build2.dsc 2.8 KiB 78d7185a7812c4ed7d4bb35988cb8821c82a51c4e36da67d4f15f3cabffcecef

Available diffs

View changes file

Binary packages built by this source

elan: tool for managing installations of the Lean theorem prover

 elan is a small tool for managing your installations of the Lean theorem
 prover. It places lean and leanpkg binaries in your PATH that automatically
 select and, if necessary, download the Lean version described in the
 lean_version field of your project's leanpkg.toml. You can also install,
 select, run, and uninstall Lean versions manually using the commands of the
 elan executable.

elan-dbgsym: debug symbols for elan