{"name":"vampire","full_name":"vampire","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"High-performance theorem prover","license":"BSD-3-Clause","homepage":"https://vprover.github.io/","versions":{"stable":"5.0.1","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/vprover/vampire/releases/download/v5.0.1/vampire.tar.gz","tag":null,"revision":null,"using":null,"checksum":"3d991c914e9f400641d8b2e4362065c218c0ecb08079b96b0da1714aa6842520"}},"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/vampire/blobs/sha256:f7ddec00fee445a0e1bfd5caca53a28e4a30e41fcb0cdfe4e9c5497bfc78f70d","sha256":"f7ddec00fee445a0e1bfd5caca53a28e4a30e41fcb0cdfe4e9c5497bfc78f70d"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/vampire/blobs/sha256:0cd98ea75f19465e88f05a2da929d1758c71989744ed1035d58413ca5a0a16d0","sha256":"0cd98ea75f19465e88f05a2da929d1758c71989744ed1035d58413ca5a0a16d0"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/vampire/blobs/sha256:bedd8ba34e0e8e1f5752b14cd7c812787f3e3cec5f2b2b7a74d6e17cced04fba","sha256":"bedd8ba34e0e8e1f5752b14cd7c812787f3e3cec5f2b2b7a74d6e17cced04fba"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/vampire/blobs/sha256:e6b03fb0f7a8a6461626d8548a762fe7ae49d5c42792a47758cf2ccf45e7e333","sha256":"e6b03fb0f7a8a6461626d8548a762fe7ae49d5c42792a47758cf2ccf45e7e333"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/vampire/blobs/sha256:41ade77fd28eef439c3133270c8f8f99ee598266d5b83243ebbe79f99b62632d","sha256":"41ade77fd28eef439c3133270c8f8f99ee598266d5b83243ebbe79f99b62632d"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/vampire/blobs/sha256:5c71ff5f94b3d9cfb3a346e2c0c85c3b16ec51a378f8b201fccd45657d4ee104","sha256":"5c71ff5f94b3d9cfb3a346e2c0c85c3b16ec51a378f8b201fccd45657d4ee104"}}}},"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,"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/v/vampire.rb","ruby_source_checksum":{"sha256":"f39ba46b4bfa327ea8c9728b81c786c49cfe48d62c28c4394d017a33f96d906e"},"variations":{},"analytics":{"install":{"30d":{"vampire":5},"90d":{"vampire":16},"365d":{"vampire":73}},"install_on_request":{"30d":{"vampire":5},"90d":{"vampire":16},"365d":{"vampire":73}},"build_error":{"30d":{"vampire":0}}},
"generated_date":"2026-04-28"}