blob: 62f4d4aa43826051162f751606e4ea6bde0ad4b3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
pkgbase = tla2json
pkgdesc = Convert TLA+ output and values into JSON.
pkgver = 1.0.1
pkgrel = 1
url = https://github.com/japgolly/tla2json
arch = x86_64
license = Apache
depends = java-runtime
noextract = tla2json.jar
source = https://github.com/japgolly/tla2json/releases/download/v1.0.1/tla2json.jar
source = tla2json
sha256sums = 81a9d2928b2af0f389f2390bd10a47ac21b8235c130ee011a5d964450d017abf
sha256sums = be4a88d33ab6f20c09270b22830b08f37fd059e888b9c272f0fe6c088337e92f
pkgname = tla2json
|