elan-dbg

Lean version manager (debug files)

---

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

Repository:

void-repo-debug

Built at:

2026-03-17 04:07

Installed size:

4.01 MiB

Popularity:

No usages in 127 reports

Depending on:

elan-4.1.2_{_1}