diff options
author | Denis Kasak | 2020-05-29 17:40:36 +0200 |
---|---|---|
committer | Denis Kasak | 2020-05-29 17:40:36 +0200 |
commit | a4a272fcf3b37775f5a7c126a2718dc235cabc96 (patch) | |
tree | 377cc6ca6191706be7bae16a0096fe70570b9dd5 | |
parent | 2839c6b926f710269c46d39f1966828918b9db83 (diff) | |
download | aur-a4a272fcf3b37775f5a7c126a2718dc235cabc96.tar.gz |
Update to 1.7.0.
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -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" |