petersen/elan

Project ID: 137169

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 (4)*, x86_64 (6)* EPEL 10 (13 downloads)
EPEL 9 aarch64 (10)*, x86_64 (15)* EPEL 9 (33 downloads)
Fedora 40 aarch64 (2)*, x86_64 (12)* Fedora 40 (0 downloads)
Fedora 41 aarch64 (11)*, x86_64 (32)* Fedora 41 (36 downloads)
Fedora 42 aarch64 (6)*, x86_64 (6)* Fedora 42 (16 downloads)
Fedora rawhide aarch64 (6)*, x86_64 (29)* Fedora rawhide (39 downloads)

* Total number of downloaded packages.