{"name":"alive2","full_name":"alive2","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Automatic verification of LLVM optimizations","license":"MIT","homepage":"https://github.com/AliveToolkit/alive2","versions":{"stable":"21.0","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/AliveToolkit/alive2.git","tag":"v21.0","revision":"913e1556032ee70a9ebf147b5a0c7e10086b7490","using":null,"checksum":null},"head":{"url":"https://github.com/AliveToolkit/alive2.git","branch":"master","using":null}},"revision":2,"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","url":"https://ghcr.io/v2/homebrew/core/alive2/blobs/sha256:2e00cec934b19e6e0782c0cb50f5bc1e99700d05d30c303306cef3290e477cbc","sha256":"2e00cec934b19e6e0782c0cb50f5bc1e99700d05d30c303306cef3290e477cbc"},"arm64_sequoia":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/alive2/blobs/sha256:564aceec0c207995bdf1a7c52af3c85d294520a241dc9a640fcedd7987be9cce","sha256":"564aceec0c207995bdf1a7c52af3c85d294520a241dc9a640fcedd7987be9cce"},"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/alive2/blobs/sha256:f29e72693a3db068ad2d63c04008c12a304d03e96beded350fee908f129b9296","sha256":"f29e72693a3db068ad2d63c04008c12a304d03e96beded350fee908f129b9296"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/alive2/blobs/sha256:c1bc73895f64d8c25d4c5b91e18787cc2d02ef0aafd18f0c87b60ec2ab8363fc","sha256":"c1bc73895f64d8c25d4c5b91e18787cc2d02ef0aafd18f0c87b60ec2ab8363fc"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/alive2/blobs/sha256:3c77e368b62bbd426c27ebaad1666c6aaa5d7aa75dd0ca7c75d1103c419113de","sha256":"3c77e368b62bbd426c27ebaad1666c6aaa5d7aa75dd0ca7c75d1103c419113de"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/alive2/blobs/sha256:53d1bf9e90e54266e4d36fb5193dba3f668b826f3bbc0363e012c2f31f6e1029","sha256":"53d1bf9e90e54266e4d36fb5193dba3f668b826f3bbc0363e012c2f31f6e1029"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake","re2c"],"dependencies":["hiredis","llvm","z3","zstd"],"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_defined":false,"service":null,"tap_git_head":"e01c7ad6d10ba193cc4ad127a7282b5d2bdbbbd3","ruby_source_path":"Formula/a/alive2.rb","ruby_source_checksum":{"sha256":"8c1c01853629192c8ef42914a6b3abfb570f7831969887f7e7899bc714ba77c6"},"variations":{"x86_64_linux":{"dependencies":["hiredis","llvm","z3","zstd","zlib-ng-compat"]},"arm64_linux":{"dependencies":["hiredis","llvm","z3","zstd","zlib-ng-compat"]}},"analytics":{"install":{"30d":{"alive2":12},"90d":{"alive2":75},"365d":{"alive2":365}},"install_on_request":{"30d":{"alive2":12},"90d":{"alive2":75},"365d":{"alive2":365}},"build_error":{"30d":{"alive2":0}}},
"generated_date":"2026-04-28"}