tla-tools: 2.1.3 -> 2.1.5

2 files changed, 4 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index cf23336a2061..269a1d9c45ac 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 = 2.1.3
+	pkgver = 2.1.5
 	pkgrel = 1
 	url = http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html
 	arch = any
@@ -12,7 +12,7 @@ pkgbase = tla-tools
 	source = sany
 	source = tla2tex
 	source = tlc
-	sha256sums = c8575fa589bf5e8ee8ced8cb464ab7763d6177f2994a7cf172d0997787e537a8
+	sha256sums = 83de9d8459d65b91a951350144560525342fb18bcd9491a4258c64a34146eef1
 	sha256sums = 6b807b8d022564cb1e1a2407915bcbcb8914775f8216653c98730cbf35ff7da8
 	sha256sums = 67001aa90cd3000e8ae00cdd064d594531d44b76f0c6141be6d3f0e85944008a
 	sha256sums = 9b5152e04f56ae8fe307609fd2509ea200d0b699da58a2cb9a779f7bde1c358d
diff --git a/PKGBUILD b/PKGBUILD
index d275e7b61ec8..ad4137382916 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Antoine Lubineau <antoine@lubignon.info>
 
 pkgname=tla-tools
-pkgver=2.1.3
+pkgver=2.1.5
 pkgrel=1
 pkgdesc="Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)"
 arch=('any')
@@ -16,7 +16,7 @@ source=(
   'tla2tex'
   'tlc'
 )
-sha256sums=('c8575fa589bf5e8ee8ced8cb464ab7763d6177f2994a7cf172d0997787e537a8'
+sha256sums=('83de9d8459d65b91a951350144560525342fb18bcd9491a4258c64a34146eef1'
             '6b807b8d022564cb1e1a2407915bcbcb8914775f8216653c98730cbf35ff7da8'
             '67001aa90cd3000e8ae00cdd064d594531d44b76f0c6141be6d3f0e85944008a'
             '9b5152e04f56ae8fe307609fd2509ea200d0b699da58a2cb9a779f7bde1c358d'