# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = lean4-git
pkgbase = lean4-git
xdata = pkgtype=pkg
pkgver = 4.24.0.rc1.r383.ge2b5747f4b-1
pkgdesc = An interactive theorem prover
url = https://github.com/leanprover/lean4
builddate = 1760820399
packager = Garuda Builder <team@garudalinux.org>
size = 2409265418
arch = x86_64
license = Apache-2.0
conflict = lean4
provides = lean4=4.24.0.rc1.r383.ge2b5747f4b
depend = glibc
depend = gmp
makedepend = git
makedepend = cmake
