%FILENAME%
elan-lean-debug-4.2.3-1-x86_64.pkg.tar.zst

%NAME%
elan-lean-debug

%BASE%
elan-lean

%VERSION%
4.2.3-1

%DESC%
Detached debugging symbols for elan-lean

%CSIZE%
201378

%ISIZE%
1355640

%SHA256SUM%
1a7b59d920dd9da8257b7370c612c09a5db43823b0253ba704d58a04a17ccebb

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

%LICENSE%
MIT OR Apache-2.0

%ARCH%
x86_64

%BUILDDATE%
1780922210

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

%MAKEDEPENDS%
cargo

