summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Wiesner2020-03-28 17:40:27 +0100
committerSebastian Wiesner2020-03-28 17:40:27 +0100
commit2839c6b926f710269c46d39f1966828918b9db83 (patch)
tree9da68499289c320a6bed5556f0d58886f718d00c
parent9563cb3699f6d39f56431bda608a0ee2fc758ffd (diff)
downloadaur-2839c6b926f710269c46d39f1966828918b9db83.tar.gz
Download from github
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index b099fa664da..86dd81a968a 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -9,7 +9,7 @@ arch=('x86_64')
url='http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html'
license=('MIT')
depends=('java-runtime')
-source=("https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-$pkgver-linux.gtk.x86_64.zip")
+source=("https://github.com/tlaplus/tlaplus/releases/download/v$pkgver/TLAToolbox-$pkgver-linux.gtk.x86_64.zip")
md5sums=('efbe2965b4727f041be8ec78ff7f84f2')
sha1sums=('b0fca8d26568c5304b5e4d5ab40f3ffe1ed48ba1')
sha512sums=('f58ad74fe627f52d77687f29c2fa1d9d6f0039bc640f15b72ff0dea8c33ee590d7b7c7a8b32725503bc8d0ac845778ceb02ba75cf1ec5a93ce255f8bec878433')