.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

pkgbase = lean-community
	pkgdesc = Lean Theorem Prover, maintained by the Lean community
	pkgver = 3.51.1
	pkgrel = 1
	url = https://github.com/leanprover-community/lean
	arch = x86_64
	arch = i386
	license = Apache
	makedepends = cmake
	makedepends = gcc12
	makedepends = ninja
	makedepends = python
	optdepends = python-mathlibtools
	conflicts = lean-bin
	conflicts = lean-git
	conflicts = lean3-bin
	conflicts = lean2-git
	source = lean-community-3.51.1.tar.gz::https://github.com/leanprover-community/lean/archive/v3.51.1.tar.gz
	sha256sums = 5a4734bf345d6c5ba6eacd2d33d86d9540eea7d008b4ebf8dde126e729fcbcaf

pkgname = lean-community