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