diff options
| -rw-r--r-- | .SRCINFO | 9 | ||||
| -rw-r--r-- | PKGBUILD | 6 |
2 files changed, 7 insertions, 8 deletions
@@ -1,14 +1,14 @@ pkgbase = tla-tools pkgdesc = Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX) - pkgver = 1.7.1 - pkgrel = 5 + pkgver = 1.7.2 + pkgrel = 1 url = http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html arch = any license = MIT depends = java-runtime noextract = tla2tools.jar options = !strip - source = https://github.com/tlaplus/tlaplus/releases/download/v1.7.1/tla2tools.jar + source = https://github.com/tlaplus/tlaplus/releases/download/v1.7.2/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 = d532ba31aafe17afba1130f92410d9257454ff7393d1eb2fe032f0c07f352da5 + sha256sums = fa18543e44ed5974a85bd2c60c0dc16620ae117680ea8e693d2691999ed90b22 sha256sums = 06a0cc6028cec61252896d0b1b88282efd972de1e37ea7980a5e607b55a0257e sha256sums = c107b10578c71793043f707ffb8ec093e650ed99af757c4b54aa0c9dc14214d0 sha256sums = 1e30d6a6908e5c5f175538f673d4ac4ef495dcd88f89eb9cf93bdeefcdcd0f2b @@ -34,4 +34,3 @@ pkgbase = tla-tools sha256sums = 1a0dcaebefe29e330aaf6ac42da41cd8ad5059d5f10411abf2063d2ef68c87af pkgname = tla-tools - @@ -1,8 +1,8 @@ # Maintainer: David Barri <japgolly@gmail.com> pkgname=tla-tools -pkgver=1.7.1 -pkgrel=5 +pkgver=1.7.2 +pkgrel=1 pkgdesc="Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)" arch=('any') url="http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html" @@ -24,7 +24,7 @@ source=( 'tlc' ) noextract=('tla2tools.jar') -sha256sums=('d532ba31aafe17afba1130f92410d9257454ff7393d1eb2fe032f0c07f352da5' +sha256sums=('fa18543e44ed5974a85bd2c60c0dc16620ae117680ea8e693d2691999ed90b22' '06a0cc6028cec61252896d0b1b88282efd972de1e37ea7980a5e607b55a0257e' 'c107b10578c71793043f707ffb8ec093e650ed99af757c4b54aa0c9dc14214d0' '1e30d6a6908e5c5f175538f673d4ac4ef495dcd88f89eb9cf93bdeefcdcd0f2b' |