2 files changed, 5 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 491ccd58d51d..49daf554ca73 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.2
+	pkgver = 1.7.3
 	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.2/tla2tools.jar
+	source = https://github.com/tlaplus/tlaplus/releases/download/v1.7.3/tla2tools.jar
 	source = pcal
 	source = tla-tools
 	source = tla
@@ -20,7 +20,7 @@ pkgbase = tla-tools
 	source = tlc-dist-worker
 	source = tlc-dist-workerfp
 	source = tlc
-	sha256sums = fa18543e44ed5974a85bd2c60c0dc16620ae117680ea8e693d2691999ed90b22
+	sha256sums = e4ff15ea81f4e6fa125c08300437254b177174c6a5adf68da449646abe08519d
 	sha256sums = 06a0cc6028cec61252896d0b1b88282efd972de1e37ea7980a5e607b55a0257e
 	sha256sums = c107b10578c71793043f707ffb8ec093e650ed99af757c4b54aa0c9dc14214d0
 	sha256sums = 1e30d6a6908e5c5f175538f673d4ac4ef495dcd88f89eb9cf93bdeefcdcd0f2b
diff --git a/PKGBUILD b/PKGBUILD
index 3f72c644b353..22af8542ee69 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: David Barri <japgolly@gmail.com>
 
 pkgname=tla-tools
-pkgver=1.7.2
+pkgver=1.7.3
 pkgrel=1
 pkgdesc="Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)"
 arch=('any')
@@ -24,7 +24,7 @@ source=(
   'tlc'
 )
 noextract=('tla2tools.jar')
-sha256sums=('fa18543e44ed5974a85bd2c60c0dc16620ae117680ea8e693d2691999ed90b22'
+sha256sums=('e4ff15ea81f4e6fa125c08300437254b177174c6a5adf68da449646abe08519d'
             '06a0cc6028cec61252896d0b1b88282efd972de1e37ea7980a5e607b55a0257e'
             'c107b10578c71793043f707ffb8ec093e650ed99af757c4b54aa0c9dc14214d0'
             '1e30d6a6908e5c5f175538f673d4ac4ef495dcd88f89eb9cf93bdeefcdcd0f2b'