diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..45655721c070 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +pkgbase = tla2json + pkgdesc = Convert TLA+ output and values into JSON. + pkgver = 1.0.0 + 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.0/tla2json.jar + source = tla2json + sha256sums = 2054d7f60521fd6a8dc974b927d69a380ba867b000e3d71dc46fafd8c291c22d + sha256sums = be4a88d33ab6f20c09270b22830b08f37fd059e888b9c272f0fe6c088337e92f + +pkgname = tla2json + |