{"name":"tlaplusToolbox","version":"1.7.1","summary":"IDE for the TLA+ tools","systems":{"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"648f70160c03151bc2121d179291337ad6bc564b"},"attr_path":"tlaplusToolbox"},"last_updated":"2025-07-28T17:09:23Z","outputs":[{"name":"out","path":"/nix/store/0ga7sp7wg664nz073s2irvz6z403crjg-tla-toolbox-1.7.1","default":true}]}}}