summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorKonstantin Nisht2020-10-10 14:25:50 +0300
committerKonstantin Nisht2020-10-10 14:25:50 +0300
commitf00a8913f4414e32cbe68c47c7b01680161b20b9 (patch)
tree0370e0020319dead650fd06cdc3f221205ace5f6
parent2fd136428bb2e51d0cad9c6d86cd5b3d8267c396 (diff)
downloadaur-arend.tar.gz
Version 1.5.0
-rw-r--r--.SRCINFO8
-rw-r--r--PKGBUILD6
2 files changed, 7 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 8f0e9b1a1ac..c6ca1eccfc5 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,16 +1,16 @@
pkgbase = arend
pkgdesc = Proof assistant based on Homotopy Type Theory
- pkgver = 1.4.1
- pkgrel = 2
+ 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.4.1.tar.gz
+ source = https://github.com/JetBrains/Arend/archive/v1.5.0.tar.gz
source = arend.sh
- sha512sums = 94f0995ae2b7b0b7560d99a75dd23c3fb9825107aea342f3b82248cce9a0957c8531130335977f7571aca5f492783c7ecbc0a7646e1198ddd3a4082f07436a21
+ sha512sums = 7646fee259aa3d2deb1e129be3efa136b6b9581892921d68ce359ca6f9e240e700dae35b9a4539dae61c18971ba4d77c7fbb62ffa7f9e73771472b2517b3029b
sha512sums = 4668958c7d98aa241260b8cf87ce0b6710050c2915ad8cbf24d285adbee0c782320c6ac5f5fe90cb7886dc0386f9d13492e571eb3a63998106bc5c982ec8711a
pkgname = arend
diff --git a/PKGBUILD b/PKGBUILD
index b2818d0666e..f06474f481d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Konstantin Nisht <zeron DOT n1 AT yandex DOT ru>
pkgname=arend
-pkgver=1.4.1
-pkgrel=2
+pkgver=1.5.0
+pkgrel=1
pkgdesc="Proof assistant based on Homotopy Type Theory"
arch=(x86_64)
url="https://arend-lang.github.io/"
@@ -17,7 +17,7 @@ install=
source=("https://github.com/JetBrains/Arend/archive/v${pkgver}.tar.gz"
"${pkgname}.sh")
noextract=()
-sha512sums=(94f0995ae2b7b0b7560d99a75dd23c3fb9825107aea342f3b82248cce9a0957c8531130335977f7571aca5f492783c7ecbc0a7646e1198ddd3a4082f07436a21
+sha512sums=(7646fee259aa3d2deb1e129be3efa136b6b9581892921d68ce359ca6f9e240e700dae35b9a4539dae61c18971ba4d77c7fbb62ffa7f9e73771472b2517b3029b
4668958c7d98aa241260b8cf87ce0b6710050c2915ad8cbf24d285adbee0c782320c6ac5f5fe90cb7886dc0386f9d13492e571eb3a63998106bc5c982ec8711a)
build() {