petersen/elan

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 (28 downloads)
EPEL 9	aarch64 (12)*, x86_64 (18)*	EPEL 9 (48 downloads)
Fedora 40	aarch64 (2)*, x86_64 (17)*	Fedora 40 (0 downloads)
Fedora 41	aarch64 (11)*, x86_64 (34)*	Fedora 41 (53 downloads)
Fedora 42	aarch64 (7)*, x86_64 (10)*	Fedora 42 (40 downloads)
Fedora 43	aarch64 (0)*, x86_64 (0)*	Fedora 43 (14 downloads)
Fedora rawhide	aarch64 (7)*, x86_64 (29)*	Fedora rawhide (49 downloads)

* Total number of downloaded packages.