Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - tla-toolbox

Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248

Package Details: tla-toolbox 1.5.2-1

Git Clone URL: https://aur-dev.archlinux.org/tla-toolbox.git (read-only)
Package Base: tla-toolbox
Description: IDE for the TLA+ tools
Upstream URL: http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html
Licenses: MIT
Conflicts: tla-toolbox
Provides: tla-toolbox
Submitter: genkimarshall
Maintainer: genkimarshall
Last Packager: genkimarshall
Votes: 1
Popularity: 0.894529
First Submitted: 2016-11-18 21:28
Last Updated: 2017-01-30 20:40

Latest Comments

genkimarshall commented on 2017-01-30 20:42

@dlin Good points. I have pushed fixes following [0]. Let me know if something is still wrong.

[0]: https://wiki.archlinux.org/index.php/Java_package_guidelines

dlin commented on 2017-01-30 14:10

I found this package install in /opt/..., it is not file-in-non-standard-directory.
Please use 'namcap' to check.
And if possible, put a symbolic link in /usr/bin/ or shell script there to let user easier to use it.