%FILENAME%
lean4-git-4.29.0.rc1.r79.g2e7fe7e79d-1-x86_64.pkg.tar.zst

%NAME%
lean4-git

%BASE%
lean4-git

%VERSION%
4.29.0.rc1.r79.g2e7fe7e79d-1

%DESC%
An interactive theorem prover

%CSIZE%
667487578

%ISIZE%
2744850705

%SHA256SUM%
f3bafcb33546770b2c42b4d8f38163e5002d0bc5fa45c47e5ed83745b2141d03

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

%LICENSE%
Apache-2.0

%ARCH%
x86_64

%BUILDDATE%
1771716062

%PACKAGER%
Garuda Builder <team@garudalinux.org>

%CONFLICTS%
lean4

%PROVIDES%
lean4=4.29.0.rc1.r79.g2e7fe7e79d

%DEPENDS%
glibc
gmp

%MAKEDEPENDS%
git
cmake

