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-05-31 19:47 - 2026-05-31 20:14

Installed size:

4.06 MiB - 5.51 MiB

Provides:

cmd:elan-init-4.2.2_{_1}

Popularity:

No usages in 125 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}