diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..209d05bb330c --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,15 @@ +pkgbase = tla-toolbox + pkgdesc = IDE for the TLA+ tools + pkgver = 1.5.2 + pkgrel = 1 + url = http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html + arch = x86_64 + license = MIT + depends = jre8-openjdk + provides = tla-toolbox + conflicts = tla-toolbox + source = https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.5.2-linux.gtk.x86_64.zip + md5sums = SKIP + +pkgname = tla-toolbox + |