blob: 3e7a0d9cd6f5a74b76a171c5fe1a42a88dd38699 (
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.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
|