blob: c6ca1eccfc5e6bbc85b097987c9e484ea791201c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
pkgbase = arend
pkgdesc = Proof assistant based on Homotopy Type Theory
pkgver = 1.5.0
pkgrel = 1
url = https://arend-lang.github.io/
arch = x86_64
license = Apache
depends = java-environment
provides = arend
conflicts = arend
source = https://github.com/JetBrains/Arend/archive/v1.5.0.tar.gz
source = arend.sh
sha512sums = 7646fee259aa3d2deb1e129be3efa136b6b9581892921d68ce359ca6f9e240e700dae35b9a4539dae61c18971ba4d77c7fbb62ffa7f9e73771472b2517b3029b
sha512sums = 4668958c7d98aa241260b8cf87ce0b6710050c2915ad8cbf24d285adbee0c782320c6ac5f5fe90cb7886dc0386f9d13492e571eb3a63998106bc5c982ec8711a
pkgname = arend
|