diff options
| author | David Barri | 2020-12-09 11:46:01 +1100 |
|---|---|---|
| committer | David Barri | 2020-12-09 11:46:01 +1100 |
| commit | d9c68eee85fb56861a18f6cae314c19c4fd24bbe (patch) | |
| tree | 4089c38041ee644c67e1491666ea21d2c22ef490 /.SRCINFO | |
| parent | b5d5b3fc07a4daa44f6a29c983918f11ff8e7b4d (diff) | |
| download | aur-d9c68eee85fb56861a18f6cae314c19c4fd24bbe.tar.gz | |
Support TLA_EXTRA_CLASSPATH
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ pkgbase = tla-tools pkgdesc = Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX) pkgver = 1.7.1 - pkgrel = 3 + pkgrel = 4 url = http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html arch = any license = MIT @@ -22,7 +22,7 @@ pkgbase = tla-tools source = tlc sha256sums = 34ad47e58c85ec2b73f60ea4a8faaa7312003c921d69b7b67b9b34bbcbb09c6b sha256sums = 06a0cc6028cec61252896d0b1b88282efd972de1e37ea7980a5e607b55a0257e - sha256sums = 8b87025166b15e93fd90803ba5165e505a4ee5e67d8f5e462276badd2443a16c + sha256sums = c107b10578c71793043f707ffb8ec093e650ed99af757c4b54aa0c9dc14214d0 sha256sums = 1e30d6a6908e5c5f175538f673d4ac4ef495dcd88f89eb9cf93bdeefcdcd0f2b sha256sums = 5517975359e764114cb231e3c80862dc24b800d5f11444b9c99cccaa5df11195 sha256sums = 1ed9e18cf3036f71ffb5f66ba53d4b13a46535ec6687185dd2b2f25a3aa2c051 |