{"name":"tlaplusToolbox","summary":"IDE for the TLA+ tools","description":"Integrated development environment for the TLA+ tools, based on Eclipse. You can use it\nto create and edit your specs, run the PlusCal translator, view the pretty-printed\nversions of your modules, run the TLC model checker, and run TLAPS, the TLA+ proof system.","homepage_url":"http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html","license":"MIT","attribute_paths":["tlaplusToolbox"],"releases":[{"version":"1.7.1","last_updated":"2025-07-28T17:09:23Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"tlaplusToolbox","commit_hash":"648f70160c03151bc2121d179291337ad6bc564b","date":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/0ga7sp7wg664nz073s2irvz6z403crjg-tla-toolbox-1.7.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.7.0","last_updated":"2021-03-08T20:48:59Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"tlaplusToolbox","commit_hash":"0867f62742476f513e39113e643d9f1612b31133","date":"2021-03-08T20:48:59Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.6.0","last_updated":"2020-11-22T19:04:20Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"tlaplusToolbox","commit_hash":"272744825d28f9cea96fe77fe685c8ba2af8eb12","date":"2020-11-22T19:04:20Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}