{"token":"tla+-toolbox","full_token":"tla+-toolbox","old_tokens":["tla-plus-toolbox"],"tap":"homebrew/cask","name":["TLA+ Toolbox"],"desc":"IDE for TLA+","homepage":"https://lamport.azurewebsites.net/tla/toolbox.html","url":"https://github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip","url_specs":{"verified":"github.com/tlaplus/tlaplus/"},"version":"1.7.4","autobump":true,"no_autobump_message":null,"skip_livecheck":false,"installed":null,"installed_time":null,"bundle_version":null,"bundle_short_version":null,"outdated":false,"sha256":"258677703e28a65d2d85c75388756a51198041a2555923e52ad5d6925f5c5bd7","artifacts":[{"app":["TLA+ Toolbox.app"]}],"caveats":null,"caveats_rosetta":true,"depends_on":{"macos":{">=":["10.15"]}},"conflicts_with":null,"container":null,"rename":[],"auto_updates":null,"deprecated":false,"deprecation_date":null,"deprecation_reason":null,"deprecation_replacement_formula":null,"deprecation_replacement_cask":null,"deprecate_args":null,"disabled":false,"disable_date":null,"disable_reason":null,"disable_replacement_formula":null,"disable_replacement_cask":null,"disable_args":null,"tap_git_head":"d775a308a4d514738f7d2bb02d90bb643900d672","languages":[],"ruby_source_path":"Casks/t/tla+-toolbox.rb","ruby_source_checksum":{"sha256":"dd5c5c62dc17e2428f00276274aaa1154df63cc00dfbf707ec32925f2ca99b7e"},"variations":{},"analytics":{"install":{"30d":{"tla+-toolbox":103},"90d":{"tla+-toolbox":247},"365d":{"tla+-toolbox":664}}},
"generated_date":"2026-04-13"}