19 lines
486 B
Plaintext
19 lines
486 B
Plaintext
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
|
|
|