pkgbase = tla-toolbox-nightly
	pkgdesc = IDE for the TLA+ tools (nightly)
	pkgver = 1.8.0.r8229.gb125618
	pkgrel = 1
	url = https://github.com/tlaplus/tlaplus
	arch = x86_64
	license = MIT
	makedepends = wget
	depends = java-runtime>=8
	options = !strip
	source = icon.png
	source = tla+toolbox.xml
	source = tla+toolbox.desktop
	sha256sums = 51dbb6724fa7ff5167067dce68dd6b577a2401a47a37120a9879f0afd85ff7c9
	sha256sums = 8380c475aa80f0cdbd4cc851ef09df513e14f74116a1a16183c5b7f122aee2fb
	sha256sums = d80e7686d162218996221bf5071cac3b1109c36d5655e6dd6bdfa29a405d3590

pkgname = tla-toolbox-nightly