elan

Lean version manager

Details

Homepage:

https://github.com/leanprover/elan

License:

Apache-2.0 OR MIT

Maintainer:

Komeil Parseh

Changelog:

https://github.com/leanprover/elan/blob/master/CHANGELOG.md

Built at:

2026-03-17 04:00 - 2026-03-17 04:56

Installed size:

3.96 MiB - 5.33 MiB

Provides:

cmd:elan-init-4.1.2_{_1}

Popularity:

No usages in 127 reports

Depending on:

• glibc>=2.41_{_1}
• libcrypto3>=3.5.4_{_1}
• libgcc>=4.4.0_{_1}
• libssl3>=3.5.4_{_1}
• libzstd>=1.0.0_{_1}
• musl1.1>=1.1.24_{_8}
• musl>=1.2.5_{_1}