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

%NAME%
elan-lean-debug

%BASE%
elan-lean

%VERSION%
4.1.2-1

%DESC%
Detached debugging symbols for elan-lean

%CSIZE%
247400

%ISIZE%
2571584

%SHA256SUM%
b932c6d0737dc6e612c9e8e0dd77cb47b7e1f502ecba0e3b2d359454fa81a7db

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

%LICENSE%
MIT OR Apache-2.0

%ARCH%
x86_64

%BUILDDATE%
1748266069

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

%MAKEDEPENDS%
cargo

