blob: b920685b665ca0c429c1e6fcf7c10e2236e3a2ab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
pkgbase = tla-tools
pkgdesc = Tools for the TLA+2 language (SANY, TLC, PlusCal translator and TLATeX)
pkgver = 1.5.7
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.5.7/tla2tools.jar
source = pcal
source = tla2sany
source = tla2tex
source = tlc
sha256sums = 1626add371f8e198ea23f86d16d0c72166978456baaa61f1afec901283b92595
sha256sums = 81989cdc3072b9ea3c3120cee7d3f8578fc1dc4933ac2a60cd1982227a9d24cc
sha256sums = c4c083ebedb2ef69a34bfbc4da4bf9b2a2df7b2d5c5053f71e2a9eeec7147b2f
sha256sums = 574eb88e87d6c115b8269e350903ded2cebb9c721353c20b92206cc76934fbc6
sha256sums = 400c89b5ebc69ea0bc7440415d057ec6d734fd4b884b514beecf61686bf702ed
pkgname = tla-tools
|