summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: 40b329d84f1284dd56d9247ac7f1be3c7feaa61c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
# Generated by mksrcinfo v8
# Wed Mar 23 20:38:09 UTC 2016
pkgbase = lean-bin
	pkgdesc = Lean Theorem Prover
	pkgver = 0.2.0.20160314023434
	pkgrel = 1
	url = http://leanprover.github.io/
	arch = x86_64
	arch = i386
	license = Apache
	depends = lua>=5.2
	optdepends = emacs: emacs mode
	optdepends = ninja
	conflicts = lean-git
	source_x86_64 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160314023434.gita8db8bc61a0b00379b3d0be8ecaf0d0858dc82ee~15.04_amd64.deb
	md5sums_x86_64 = 5496d564329068290a04dd59bf5e36ef
	source_i386 = https://launchpad.net/~leanprover/+archive/ubuntu/lean/+files/lean_0.2.0.20160314023434.gita8db8bc61a0b00379b3d0be8ecaf0d0858dc82ee~15.04_i386.deb
	md5sums_i386 = d75b068785c844789e2ff855827da3fa

pkgname = lean-bin