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 |
|---|---|---|
EPEL 10
|
aarch64 (6)*, x86_64 (13)* | EPEL 10 (35 downloads) |
|
EPEL 9
|
aarch64 (12)*, x86_64 (18)* | EPEL 9 (58 downloads) |
Fedora 41
|
aarch64 (11)*, x86_64 (34)* | Fedora 41 (63 downloads) |
|
Fedora 42
|
aarch64 (7)*, x86_64 (12)* | Fedora 42 (57 downloads) |
|
Fedora 43
|
aarch64 (0)*, x86_64 (4)* | Fedora 43 (20 downloads) |
|
Fedora rawhide
|
aarch64 (7)*, x86_64 (29)* | Fedora rawhide (56 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable petersen/elan
More info about enabling Copr repositories