.SRCINFO


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

# Generated by mksrcinfo v8
# Wed Mar 30 15:01:38 UTC 2016
pkgbase = lean-git
	pkgdesc = Lean Theorem Prover
	pkgver = 0.2.0.r8512.226f8ba
	pkgrel = 4
	url = http://leanprover.github.io/
	arch = x86_64
	arch = i386
	license = Apache
	makedepends = git
	makedepends = cmake
	makedepends = python
	makedepends = gperftools
	depends = gmp
	depends = mpfr
	depends = lua>=5.2
	optdepends = emacs: emacs mode
	conflicts = lean-bin
	source = lean-git::git+https://github.com/leanprover/lean.git
	md5sums = SKIP

pkgname = lean-git