{"name":"quint","full_name":"quint","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Core tool for the Quint specification language","license":"Apache-2.0","homepage":"https://quint-lang.org","versions":{"stable":"0.32.0","head":null,"bottle":true},"urls":{"stable":{"url":"https://registry.npmjs.org/@informalsystems/quint/-/quint-0.32.0.tgz","tag":null,"revision":null,"using":null,"checksum":"244b734b25915e4afa8ee4dbce07fef1ca69df1c7f186cd36e578b0bd37c0bf5"}},"patches":[],"revision":0,"version_scheme":0,"compatibility_version":null,"autobump":true,"no_autobump_message":null,"skip_livecheck":false,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"all":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/quint/blobs/sha256:fa6ed9e38ff62eb0886c5a879f79e25c1c2d98d949ba4cf43d0d10b0d5184416","sha256":"fa6ed9e38ff62eb0886c5a879f79e25c1c2d98d949ba4cf43d0d10b0d5184416"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":[],"dependencies":["node"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[],"uses_from_macos_bounds":[],"requirements":[],"conflicts_with":[],"conflicts_with_reasons":[],"link_overwrite":[],"caveats":null,"installed":[],"linked_keg":null,"pinned":false,"outdated":false,"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,"post_install_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"5d8e5d6732d61d47428a568bad3da9d81468bc43","ruby_source_path":"Formula/q/quint.rb","ruby_source_checksum":{"sha256":"b6b50f8f6d237d50e0c2c4d729fb516feb72429272ab9a22e7eb942cef6b48bf"},"variations":{},"executables":["quint"],"analytics":{"install":{"30d":{"quint":27},"90d":{"quint":94},"365d":{"quint":320}},"install_on_request":{"30d":{"quint":27},"90d":{"quint":94},"365d":{"quint":320}},"build_error":{"30d":{"quint":0}}},
"generated_date":"2026-07-20"}