{"name":"tlaplus-toolbox","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":["tlaplus-toolbox"],"releases":[{"version":"1.7.4","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"tlaplus-toolbox","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/lj3wgqzwqa86igandkwgv9wm76q6rhk3-tlaplus-toolbox-1.7.4","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.7.1","last_updated":"2025-10-22T20:59:19Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"tlaplus-toolbox","commit_hash":"01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09","date":"2025-10-22T20:59:19Z","outputs":[{"name":"out","path":"/nix/store/89lr41ni5j9203qrpi5axfcn4ykwjsnj-tla-toolbox-1.7.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}