blob: a93d5bfb44c9a678c9f1cbe91704869ba047d6fa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
pkgbase = lean2-git
pkgdesc = Lean Theorem Prover 2
pkgver = 0.2.1
pkgrel = 1
url = https://github.com/leanprover/lean2
arch = x86_64
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 = lean2-git::git+https://github.com/leanprover/lean2.git
md5sums = SKIP
pkgname = lean2-git
|