Upgrade to 1.7.1

2 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 5b51466206b6..16e94e500e45 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = tla-tools
 	pkgdesc = Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)
-	pkgver = 1.7.0
+	pkgver = 1.7.1
 	pkgrel = 1
 	url = http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html
 	arch = any
@@ -8,7 +8,7 @@ pkgbase = tla-tools
 	depends = java-runtime
 	noextract = tla2tools.jar
 	options = !strip
-	source = https://github.com/tlaplus/tlaplus/releases/download/v1.7.0/tla2tools.jar
+	source = https://github.com/tlaplus/tlaplus/releases/download/v1.7.1/tla2tools.jar
 	source = pcal
 	source = tla2sany
 	source = tla2tex
@@ -19,13 +19,13 @@ pkgbase = tla-tools
 	source = tlc-dist-server
 	source = tlc-dist-worker
 	source = tlc-dist-workerfp
-	sha256sums = 8cce75caa1e59d0b0483bb8fb881ba33825edce8b2d98aba59d66ce685dd3d1a
+	sha256sums = 34ad47e58c85ec2b73f60ea4a8faaa7312003c921d69b7b67b9b34bbcbb09c6b
 	sha256sums = 06a0cc6028cec61252896d0b1b88282efd972de1e37ea7980a5e607b55a0257e
 	sha256sums = 5517975359e764114cb231e3c80862dc24b800d5f11444b9c99cccaa5df11195
 	sha256sums = 1ed9e18cf3036f71ffb5f66ba53d4b13a46535ec6687185dd2b2f25a3aa2c051
 	sha256sums = 8b87025166b15e93fd90803ba5165e505a4ee5e67d8f5e462276badd2443a16c
 	sha256sums = 1a0dcaebefe29e330aaf6ac42da41cd8ad5059d5f10411abf2063d2ef68c87af
-	sha256sums = bb661b1c30aa343f1c34e9cf9a19f9abaf974e1b124a2c1311c470ba79bf5935
+	sha256sums = a3e62459666f7c126bd47b746980f09769f1c905655b0948998287ec5077bd1f
 	sha256sums = 3ae8122f331b3aa9cd1952571d4bbc58d98246ec2e6f58bdfa9ce973fa7afc87
 	sha256sums = fedb2f21d93526495ca4b8b6b10a6f37d6d4099d06a9203426b7c5f7c6996419
 	sha256sums = 450b00da072989f41f8cec7e6fdf535d8acdc31472d9372071a1ce769b860073
diff --git a/PKGBUILD b/PKGBUILD
index bac7b6b8f580..cffed8f374c2 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: David Barri <japgolly@gmail.com>
 
 pkgname=tla-tools
-pkgver=1.7.0
+pkgver=1.7.1
 pkgrel=1
 pkgdesc="Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)"
 arch=('any')
@@ -23,7 +23,7 @@ source=(
   'tlc-dist-workerfp'
 )
 noextract=('tla2tools.jar')
-sha256sums=('8cce75caa1e59d0b0483bb8fb881ba33825edce8b2d98aba59d66ce685dd3d1a'
+sha256sums=('34ad47e58c85ec2b73f60ea4a8faaa7312003c921d69b7b67b9b34bbcbb09c6b'
             '06a0cc6028cec61252896d0b1b88282efd972de1e37ea7980a5e607b55a0257e'
             '5517975359e764114cb231e3c80862dc24b800d5f11444b9c99cccaa5df11195'
             '1ed9e18cf3036f71ffb5f66ba53d4b13a46535ec6687185dd2b2f25a3aa2c051'