pkgbase = elan pkgdesc = Lean version manager pkgver = 0.10.2 pkgrel = 1 url = https://github.com/Kha/elan arch = x86_64 license = MIT license = Apache makedepends = cargo depends = curl depends = xz provides = lean conflicts = lean source = elan-0.10.2.tar.gz::https://github.com/kha/elan/archive/v0.10.2.tar.gz sha512sums = d4d32ddc33285acaedea0aa781c24b589e5ee1e1a438aad1d4f854c0eb9d59f14287acce84fd2892748fdf25f4c5da34026cb6692cdccab2175d8c872bfcaf74 pkgname = elan