# Generated by mksrcinfo v8
# Fri Sep 21 20:30:42 UTC 2018
pkgbase = lean-git
	pkgdesc = Lean Theorem Prover
	pkgver = 3.4.1.r4.gb13ac127f
	pkgrel = 1
	url = http://leanprover.github.io/
	arch = x86_64
	arch = i386
	license = Apache
	makedepends = git
	makedepends = cmake
	makedepends = python
	makedepends = gperftools
	makedepends = gcc7
	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