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

%NAME%
elan-lean-debug

%BASE%
elan-lean

%VERSION%
4.2.2-1

%DESC%
Detached debugging symbols for elan-lean

%CSIZE%
200981

%ISIZE%
1359128

%SHA256SUM%
47a3a6f742c28f898fb9a40b112051b4bdff992b14d6a3ab86deb2788e334501

%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>

%MAKEDEPENDS%
cargo

