# 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.r379.gc76411d6c5-1
pkgdesc = An interactive theorem prover
url = https://github.com/leanprover/lean4
builddate = 1760753272
packager = Garuda Builder <team@garudalinux.org>
size = 2408741083
arch = x86_64
license = Apache-2.0
conflict = lean4
provides = lean4=4.24.0.rc1.r379.gc76411d6c5
depend = glibc
depend = gmp
makedepend = git
makedepend = cmake
