elan

Lean version manager

---

Build for armv6l-glibc, version 4.2.1_{_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-04-30 00:03

Installed size:

4.12 MiB

Provides:

cmd:elan-init-4.2.1_{_1}

Popularity:

No usages in 133 reports

Depending on:

• glibc>=2.41_{_1}
• libcrypto3>=3.5.4_{_1}
• libgcc>=4.4.0_{_1}
• libssl3>=3.5.4_{_1}