{"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":{},"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,"pinned":false,"pinned_version":null,"outdated":false,"sha256":"258677703e28a65d2d85c75388756a51198041a2555923e52ad5d6925f5c5bd7","artifacts":[{"app":["TLA+ Toolbox.app"],"target":"/Applications/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":"68f101d42fffee8d5afb5218a1d4aacd9a78e562","languages":[],"ruby_source_path":"Casks/t/tla+-toolbox.rb","ruby_source_checksum":{"sha256":"502ebbd17ee47176129e0a9e9ca090beb64a957aaefcba470a3d000f186971ee"},"variations":{},"supported_platforms":["golden_gate","arm64_golden_gate","tahoe","arm64_tahoe","sequoia","arm64_sequoia","sonoma","arm64_sonoma","ventura","arm64_ventura","monterey","arm64_monterey","big_sur","arm64_big_sur"],"analytics":{"install":{"30d":{"tla+-toolbox":39},"90d":{"tla+-toolbox":125},"365d":{"tla+-toolbox":670}}},
"generated_date":"2026-10-01"}