summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDenis Kasak2020-05-29 17:40:36 +0200
committerDenis Kasak2020-05-29 17:40:36 +0200
commita4a272fcf3b37775f5a7c126a2718dc235cabc96 (patch)
tree377cc6ca6191706be7bae16a0096fe70570b9dd5
parent2839c6b926f710269c46d39f1966828918b9db83 (diff)
downloadaur-a4a272fcf3b37775f5a7c126a2718dc235cabc96.tar.gz
Update to 1.7.0.
-rw-r--r--PKGBUILD6
1 files changed, 2 insertions, 4 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 86dd81a968ad..6738014e0b72 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
# Contributor: Genki Sky <alt+archlinux.org@genki.is>
pkgname=tla-toolbox
-pkgver=1.6.0
+pkgver=1.7.0
pkgrel=1
pkgdesc='IDE for the TLA+ tools'
arch=('x86_64')
@@ -10,9 +10,7 @@ url='http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html'
license=('MIT')
depends=('java-runtime')
source=("https://github.com/tlaplus/tlaplus/releases/download/v$pkgver/TLAToolbox-$pkgver-linux.gtk.x86_64.zip")
-md5sums=('efbe2965b4727f041be8ec78ff7f84f2')
-sha1sums=('b0fca8d26568c5304b5e4d5ab40f3ffe1ed48ba1')
-sha512sums=('f58ad74fe627f52d77687f29c2fa1d9d6f0039bc640f15b72ff0dea8c33ee590d7b7c7a8b32725503bc8d0ac845778ceb02ba75cf1ec5a93ce255f8bec878433')
+sha256sums=('a91c7d93ba7ecd490aed05da5988c7b6299ae279e0fbdbc97e34cdc642483f67')
package() {
mkdir -p "$pkgdir/usr/share/java/tla-toolbox"