{"name":"spin","full_name":"spin","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Efficient verification tool of multi-threaded software","license":"BSD-3-Clause","homepage":"https://spinroot.com/spin/whatispin.html","versions":{"stable":"6.5.2","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/nimble-code/Spin/archive/refs/tags/version-6.5.2.tar.gz","tag":null,"revision":null,"using":null,"checksum":"e46a3bd308c4cd213cc466a8aaecfd5cedc02241190f3cb9a1d1b87e5f37080a"}},"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":{"arm64_tahoe":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:64d6db348e89f72bd9104ea58648f9de630ebbe1f97dbbba7bde5f72d127639b","sha256":"64d6db348e89f72bd9104ea58648f9de630ebbe1f97dbbba7bde5f72d127639b"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:8eae14c8c6dce13b7a40a21f94b481c5f0a589aacc993e21433ed498c6e44165","sha256":"8eae14c8c6dce13b7a40a21f94b481c5f0a589aacc993e21433ed498c6e44165"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:df76fb2fe8fb0027ea684c8c6ef026bf44a320d5739f629d088a316c6e75343c","sha256":"df76fb2fe8fb0027ea684c8c6ef026bf44a320d5739f629d088a316c6e75343c"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:ff5eeb131b28f8551564e91d24e55f5da594a84535162e51ceeb579a5e8b0010","sha256":"ff5eeb131b28f8551564e91d24e55f5da594a84535162e51ceeb579a5e8b0010"},"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:67ce597f95a1d2ae0b428f11b95c962bdddace66cb2cc4127ad619ce5b9bea47","sha256":"67ce597f95a1d2ae0b428f11b95c962bdddace66cb2cc4127ad619ce5b9bea47"},"arm64_big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:4f8951592f6d019eafb6466a4e991c7437d13a699af047bbbbfd0bc4fdcb82bf","sha256":"4f8951592f6d019eafb6466a4e991c7437d13a699af047bbbbfd0bc4fdcb82bf"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:7788481a6c382dbeb0f5a472baefed77b4287500915b7ecb460ca86ff2d120ae","sha256":"7788481a6c382dbeb0f5a472baefed77b4287500915b7ecb460ca86ff2d120ae"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:6c6c7714cfa19cf39458ddccdd8323e7a08a21b99d59a02cb27d85f08a30f1dd","sha256":"6c6c7714cfa19cf39458ddccdd8323e7a08a21b99d59a02cb27d85f08a30f1dd"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:0d4b7b1254d58ccfb87f57dcedb3d86504c488bf7ca6ce8b44fd9d00523ec13c","sha256":"0d4b7b1254d58ccfb87f57dcedb3d86504c488bf7ca6ce8b44fd9d00523ec13c"},"big_sur":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:d49e61e18c0c65108a64d3e0c91addbd011b3fff90434509958ebfe33b14c6cd","sha256":"d49e61e18c0c65108a64d3e0c91addbd011b3fff90434509958ebfe33b14c6cd"},"catalina":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:6432ab186b64f64851fa0f60dae53c13b6c9bfbc6195c41abc08f1ddfd824bf6","sha256":"6432ab186b64f64851fa0f60dae53c13b6c9bfbc6195c41abc08f1ddfd824bf6"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:96bd5d61619965fa00551f10e67d3ffc694bce73b34256a20f734b72abaa1442","sha256":"96bd5d61619965fa00551f10e67d3ffc694bce73b34256a20f734b72abaa1442"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:e6bc2cf070b8095de0b23f7ac8cd201c30c5e089c7635570b71ea7b9235753e1","sha256":"e6bc2cf070b8095de0b23f7ac8cd201c30c5e089c7635570b71ea7b9235753e1"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":[],"dependencies":[],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[{"bison":"build"}],"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_defined":false,"service":null,"tap_git_head":"f0c124556c25d1d383ae57335c1e892f34da9e9b","ruby_source_path":"Formula/s/spin.rb","ruby_source_checksum":{"sha256":"3cc173025cf86602f00d6f8b142764ff581ebdc03c3945e36eca2cfdce342722"},"variations":{},"analytics":{"install":{"30d":{"spin":40},"90d":{"spin":93},"365d":{"spin":370,"spin --HEAD":1}},"install_on_request":{"30d":{"spin":40},"90d":{"spin":93},"365d":{"spin":370,"spin --HEAD":1}},"build_error":{"30d":{"spin":1}}},
"generated_date":"2026-04-28"}