diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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() { |