%FILENAME%
elan-lean-4.2.2-1-x86_64.pkg.tar.zst

%NAME%
elan-lean

%BASE%
elan-lean

%VERSION%
4.2.2-1

%DESC%
A Lean version manager

%CSIZE%
1688664

%ISIZE%
5454783

%SHA256SUM%
404e9db77f287a96222142db649fc7fc6dda8ce00b3bffc4e1bfcbfcccfe2181

%URL%
https://github.com/leanprover/elan

%LICENSE%
MIT OR Apache-2.0

%ARCH%
x86_64

%BUILDDATE%
1779974330

%PACKAGER%
lilac (on behalf of megrxu) <megrxu@proton.me>

%CONFLICTS%
lean-bin
lean-git
lean4
lean-community

%PROVIDES%
lean-community

%DEPENDS%
glibc
gcc-libs
curl
bzip2

%MAKEDEPENDS%
cargo

