diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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() { |