{"name":"nu-smv","full_name":"nu-smv","tap":"homebrew/core","oldname":null,"oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Reimplementation and extension of SMV symbolic model checker","license":null,"homepage":"https://nusmv.fbk.eu","versions":{"stable":"2.6.0","head":null,"bottle":true},"urls":{"stable":{"url":"https://nusmv.fbk.eu/distrib/NuSMV-2.6.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"dba953ed6e69965a68cd4992f9cdac6c449a3d15bf60d200f704d3a02e4bbcbb"}},"revision":0,"version_scheme":0,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/nu-smv/blobs/sha256:fe65bcdedc024ee8cb5c94fcd1cb6487a5ba85bd76e82f3f3d84dfbe18aa19e6","sha256":"fe65bcdedc024ee8cb5c94fcd1cb6487a5ba85bd76e82f3f3d84dfbe18aa19e6"},"arm64_big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/nu-smv/blobs/sha256:4335d0633f214a331bbdf3d060ec0fd574a257ebe1f082025d86cc3a082eac3f","sha256":"4335d0633f214a331bbdf3d060ec0fd574a257ebe1f082025d86cc3a082eac3f"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/nu-smv/blobs/sha256:078139325d2258530e56211e7d2104dddc48e8640675b68b8c8548b1b8b90149","sha256":"078139325d2258530e56211e7d2104dddc48e8640675b68b8c8548b1b8b90149"},"big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/nu-smv/blobs/sha256:93b0188158e38160632863ca61c3e6809e2524fc46f93dacbe6d8c07a1693432","sha256":"93b0188158e38160632863ca61c3e6809e2524fc46f93dacbe6d8c07a1693432"},"catalina":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/nu-smv/blobs/sha256:90dad1b30d80ee7ddba984d6ad2536fff08896e79cf1a26a083a5e9990fc3c43","sha256":"90dad1b30d80ee7ddba984d6ad2536fff08896e79cf1a26a083a5e9990fc3c43"},"mojave":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/nu-smv/blobs/sha256:c2cc207758d6f315db1116e0e162be72edc0356312c460cd3359dca8c7de597e","sha256":"c2cc207758d6f315db1116e0e162be72edc0356312c460cd3359dca8c7de597e"},"high_sierra":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/nu-smv/blobs/sha256:f2e93143e60b64244fd25958a88480acee332fd4109a6bd356719dc6259efc36","sha256":"f2e93143e60b64244fd25958a88480acee332fd4109a6bd356719dc6259efc36"},"sierra":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/nu-smv/blobs/sha256:64f825eac53c6c16c9b3db4b505d37a6de9f1f3471863b39081b5a98d517fb3e","sha256":"64f825eac53c6c16c9b3db4b505d37a6de9f1f3471863b39081b5a98d517fb3e"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake"],"dependencies":[],"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,"disabled":true,"disable_date":"2023-03-11","disable_reason":"unsupported","post_install_defined":false,"service":null,"tap_git_head":"0c0261c1df90228afef190882b7116195c24343f","ruby_source_path":"Formula/n/nu-smv.rb","ruby_source_checksum":{"sha256":"d3c5c85e24310f2a4783cf9df2dab17eb47214c0c0707bb1c497afe512cd889c"},"variations":{},"analytics":{"install":{"30d":{"nu-smv":0},"90d":{"nu-smv":0},"365d":{"nu-smv":2}},"install_on_request":{"30d":{"nu-smv":0},"90d":{"nu-smv":0},"365d":{"nu-smv":2}},"build_error":{"30d":{"nu-smv":0}}},
"generated_date":"2024-03-12"}