blob: a0c959253404149896a0cbbf01a1ae318968fb83 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
pkgbase = lean4-bin
pkgdesc = An interactive theorem prover
pkgver = 4.16.0
pkgrel = 1
url = https://leanprover.github.io/
arch = i686
arch = x86_64
arch = aarch64
license = Apache-2.0
optdepends = bash
provides = lean4=4.16.0
conflicts = lean4
options = staticlibs
source_i686 = https://github.com/leanprover/lean4/releases/download/v4.16.0/lean-4.16.0-linux_x86.tar.zst
sha256sums_i686 = 68c78f18fb86388538bb60cbe5ae546e297aa14f36b6afbc68c21029672aa6fb
source_x86_64 = https://github.com/leanprover/lean4/releases/download/v4.16.0/lean-4.16.0-linux.tar.zst
sha256sums_x86_64 = cdd31f1064783fff163be53e285722102f16767e65e6fb7f7cb1c232514e0c3a
source_aarch64 = https://github.com/leanprover/lean4/releases/download/v4.16.0/lean-4.16.0-linux_aarch64.tar.zst
sha256sums_aarch64 = 0d2fb0488e8a5d679d383d1c846aff5a6d57b27b0ec9d5d9b1396226f2311f87
pkgname = lean4-bin
|