Package Details: elan-lean 1.3.1-1

Git Clone URL: https://aur.archlinux.org/elan-lean.git (read-only, click to copy)
Package Base: elan-lean
Description: A Lean version manager
Upstream URL: https://github.com/Kha/elan
Licenses: MIT, Apache
Conflicts: lean-bin, lean-community, lean-git, lean4
Provides: lean-community
Submitter: xuanruiqi
Maintainer: xuanruiqi
Last Packager: xuanruiqi
Votes: 1
Popularity: 0.000333
First Submitted: 2021-01-30 07:36 (UTC)
Last Updated: 2021-11-10 19:32 (UTC)

Required by (1)

Sources (1)