blob: 9fcb063e5e0017785efeefc1bb0f807e31238dd2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
pkgbase = tla-toolbox-nightly
pkgdesc = IDE for the TLA+ tools (nightly)
pkgver = 1.8.0.r8127.g753a970
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
|