blob: 83ab7ae51b37fd8f20036eba80840f0044fc0bdf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# Generated by mksrcinfo v8
# Fri Feb 1 18:27:50 UTC 2019
pkgbase = lean-bin
pkgdesc = Lean Theorem Prover
pkgver = 3.4.2
pkgrel = 1
url = http://leanprover.github.io/
arch = x86_64
arch = i386
license = Apache
depends = lua>=5.2
optdepends = emacs: emacs mode
conflicts = lean-git
source = https://github.com/leanprover/lean/releases/download/v3.4.2/lean-3.4.2-linux.tar.gz
sha256sums = ba8a97b3e8f28dad50900a55e488579f2a26923eb0c4c40342120457c136d165
pkgname = lean-bin
|