elan

Lean version manager

---

Build for i686-glibc, version 4.1.2_{_1}. Builds for all architectures.

---

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:07

Installed size:

5.12 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}