Description
The Lean version manager
Installation Instructions
dnf install elan
Active Releases
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
Release | Architectures | Repo Download |
---|---|---|
![]() |
aarch64 (0)*, x86_64 (0)* | EPEL 10 (12 downloads) |
![]() |
aarch64 (6)*, x86_64 (11)* | EPEL 9 (31 downloads) |
![]() |
aarch64 (6)*, x86_64 (14)* | Fedora 39 (0 downloads) |
![]() |
aarch64 (2)*, x86_64 (10)* | Fedora 40 (0 downloads) |
![]() |
aarch64 (8)*, x86_64 (32)* | Fedora 41 (34 downloads) |
![]() |
aarch64 (1)*, x86_64 (2)* | Fedora 42 (13 downloads) |
![]() |
aarch64 (2)*, x86_64 (20)* | Fedora rawhide (36 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable petersen/elan
More info about enabling Copr repositories