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
|