1 files changed, 2 insertions, 2 deletions
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'