.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

pkgbase = lean
	pkgdesc = Lean 4 programming language and theorem prover
	pkgver = 4.13.0
	pkgrel = 1
	url = https://github.com/leanprover/lean4
	arch = x86_64
	license = Apache
	makedepends = cmake
	depends = gmp
	depends = libuv
	depends = llvm-libs
	options = ccache
	source = lean-4.13.0.tar.gz::https://github.com/leanprover/lean4/archive/refs/tags/v4.13.0.tar.gz
	sha256sums = 8392396c1b5fb6650277c1eac29ff6549a559c64c3eb3d88acb3cb2db05d3de1

pkgname = lean