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 9	x86_64 (4)*	EPEL 9 (15 downloads)
Fedora 39	x86_64 (10)*	Fedora 39 (20 downloads)
Fedora 40	x86_64 (8)*	Fedora 40 (16 downloads)
Fedora 41	x86_64 (11)*	Fedora 41 (7 downloads)
Fedora rawhide	x86_64 (9)*	Fedora rawhide (19 downloads)

* Total number of downloaded packages.