{"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,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"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"},"mojave":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:eae932021ba8a15f713dd60ca2a29267f5df53a832895c5ab1a342d2568c6f45","sha256":"eae932021ba8a15f713dd60ca2a29267f5df53a832895c5ab1a342d2568c6f45"},"high_sierra":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/spin/blobs/sha256:3ffbbe34633fa0e177bd25343b3bbd35d706988ab04c4a617fff530cf3dc542a","sha256":"3ffbbe34633fa0e177bd25343b3bbd35d706988ab04c4a617fff530cf3dc542a"},"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,"disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"d31b25883b646e4b03955fcdebb96cb51740d35d","ruby_source_path":"Formula/s/spin.rb","ruby_source_checksum":{"sha256":"0349e4334cf659a195c34f8160e1fce249cc9113f11f3b55fa263f15d3a49c30"},"variations":{},"analytics":{"install":{"30d":{"spin":67},"90d":{"spin":145},"365d":{"spin":451}},"install_on_request":{"30d":{"spin":67},"90d":{"spin":145},"365d":{"spin":451}},"build_error":{"30d":{"spin":1}}}, "generated_date":"2024-05-13"}