{"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":{">=":[""]}},"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":"0eaad22b7445ed561ad1a2b5459aa41171bcc935","languages":[],"ruby_source_path":"Casks/t/tla+-toolbox.rb","ruby_source_checksum":{"sha256":"b96b662a8916d23bfdf96fca0c29fa8055f5910e2fdab630c94a7c2959afeaae"},"variations":{},"analytics":{"install":{"30d":{"tla+-toolbox":76},"90d":{"tla+-toolbox":249},"365d":{"tla+-toolbox":673}}},
"generated_date":"2026-04-28"}