diff options
| author | David Barri | 2019-02-24 17:39:31 +1100 |
|---|---|---|
| committer | David Barri | 2019-02-24 17:39:31 +1100 |
| commit | 7f73a0b507dce306ee69f5c5b4edd737e12a9e8d (patch) | |
| tree | 5b6fe043dc31154c7f47368a97a1ef9926c8de15 | |
| parent | 84512f4259b879480e95bf1783ada95f020a53cd (diff) | |
| download | aur-7f73a0b507dce306ee69f5c5b4edd737e12a9e8d.tar.gz | |
Ahhh... there's a .SRCINFO file too!
| -rw-r--r-- | .SRCINFO | 21 | ||||
| -rw-r--r-- | pcal2tla | 0 | ||||
| -rw-r--r-- | sany | 0 |
3 files changed, 11 insertions, 10 deletions
@@ -1,22 +1,23 @@ pkgbase = tla-tools pkgdesc = Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX) - pkgver = 2.1.5 + pkgver = 1.5.7 pkgrel = 1 url = http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html arch = any - license = custom:MSR-EULA + license = MIT depends = java-runtime + noextract = tla2tools.jar options = !strip - source = http://ftp.research.microsoft.com/downloads/41b4a0aa-5fad-4118-916a-45ed9fd48bf0/tla.zip - source = pcal2tla - source = sany + source = https://github.com/tlaplus/tlaplus/releases/download/v1.5.7/tla2tools.jar + source = pcal + source = tla2sany source = tla2tex source = tlc - sha256sums = 83de9d8459d65b91a951350144560525342fb18bcd9491a4258c64a34146eef1 - sha256sums = 6b807b8d022564cb1e1a2407915bcbcb8914775f8216653c98730cbf35ff7da8 - sha256sums = 67001aa90cd3000e8ae00cdd064d594531d44b76f0c6141be6d3f0e85944008a - sha256sums = 9b5152e04f56ae8fe307609fd2509ea200d0b699da58a2cb9a779f7bde1c358d - sha256sums = 65959359b44562da7263e449bbeae33ede3a0a647f6044a01a0babf10ca0bd19 + sha256sums = 1626add371f8e198ea23f86d16d0c72166978456baaa61f1afec901283b92595 + sha256sums = 81989cdc3072b9ea3c3120cee7d3f8578fc1dc4933ac2a60cd1982227a9d24cc + sha256sums = c4c083ebedb2ef69a34bfbc4da4bf9b2a2df7b2d5c5053f71e2a9eeec7147b2f + sha256sums = 574eb88e87d6c115b8269e350903ded2cebb9c721353c20b92206cc76934fbc6 + sha256sums = 400c89b5ebc69ea0bc7440415d057ec6d734fd4b884b514beecf61686bf702ed pkgname = tla-tools diff --git a/pcal2tla b/pcal2tla deleted file mode 100644 index e69de29bb2d1..000000000000 --- a/pcal2tla +++ /dev/null diff --git a/sany b/sany deleted file mode 100644 index e69de29bb2d1..000000000000 --- a/sany +++ /dev/null |