summarylogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 45655721c070..62f4d4aa4382 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,15 +1,15 @@
pkgbase = tla2json
pkgdesc = Convert TLA+ output and values into JSON.
- pkgver = 1.0.0
+ pkgver = 1.0.1
pkgrel = 1
url = https://github.com/japgolly/tla2json
arch = x86_64
license = Apache
depends = java-runtime
noextract = tla2json.jar
- source = https://github.com/japgolly/tla2json/releases/download/v1.0.0/tla2json.jar
+ source = https://github.com/japgolly/tla2json/releases/download/v1.0.1/tla2json.jar
source = tla2json
- sha256sums = 2054d7f60521fd6a8dc974b927d69a380ba867b000e3d71dc46fafd8c291c22d
+ sha256sums = 81a9d2928b2af0f389f2390bd10a47ac21b8235c130ee011a5d964450d017abf
sha256sums = be4a88d33ab6f20c09270b22830b08f37fd059e888b9c272f0fe6c088337e92f
pkgname = tla2json
diff --git a/PKGBUILD b/PKGBUILD
index edda5fe2ea3a..61e3010c2e32 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
# Maintainer: David Barri <japgolly@gmail.com>
pkgname=tla2json
-pkgver=1.0.0
+pkgver=1.0.1
pkgrel=1
pkgdesc="Convert TLA+ output and values into JSON."
arch=('x86_64')
@@ -12,7 +12,7 @@ source=(
"https://github.com/japgolly/tla2json/releases/download/v$pkgver/tla2json.jar"
tla2json
)
-sha256sums=('2054d7f60521fd6a8dc974b927d69a380ba867b000e3d71dc46fafd8c291c22d'
+sha256sums=('81a9d2928b2af0f389f2390bd10a47ac21b8235c130ee011a5d964450d017abf'
'be4a88d33ab6f20c09270b22830b08f37fd059e888b9c272f0fe6c088337e92f')
package() {