{"name":"dafny","full_name":"dafny","tap":"homebrew/core","oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Verification-aware programming language","license":"MIT","homepage":"https://github.com/dafny-lang/dafny/blob/master/README.md","versions":{"stable":"4.11.0","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/dafny-lang/dafny/archive/refs/tags/v4.11.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"05417a2250cea13494318a60d86bd0dc6d9622bd625d9f4fbeb42854462e6798"}},"patches":[],"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/dafny/blobs/sha256:8e05c17dd373fc4990bfdbb912d8fa47eb1981a5fd34ec150283f53eddaa0c9e","sha256":"8e05c17dd373fc4990bfdbb912d8fa47eb1981a5fd34ec150283f53eddaa0c9e"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/dafny/blobs/sha256:296346300fcb84014e88bcd5e6a43a3f59c1f5b90f6c4f9c9ff5e6664459f104","sha256":"296346300fcb84014e88bcd5e6a43a3f59c1f5b90f6c4f9c9ff5e6664459f104"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/dafny/blobs/sha256:399f9dc444e83573e736e553df66faeb0c492abe5efc5d547c64b6f5732825e4","sha256":"399f9dc444e83573e736e553df66faeb0c492abe5efc5d547c64b6f5732825e4"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/dafny/blobs/sha256:212a957c6cff6a2b3709544c5ed25d75231aa25cd7c46f0dd2b4b7407add8b8f","sha256":"212a957c6cff6a2b3709544c5ed25d75231aa25cd7c46f0dd2b4b7407add8b8f"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/dafny/blobs/sha256:e8ee8d3e51738626a0f1ec731d0f8616310c13028b9557b792eea2078c1c7d97","sha256":"e8ee8d3e51738626a0f1ec731d0f8616310c13028b9557b792eea2078c1c7d97"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/dafny/blobs/sha256:531c8d8608f45143c240ebcdb7c7bc92a47cf23d20b972f9d0d435318198a569","sha256":"531c8d8608f45143c240ebcdb7c7bc92a47cf23d20b972f9d0d435318198a569"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/dafny/blobs/sha256:61c5799971f66478103d85b42562172496531a3aa2e8e8566befc75079bb7154","sha256":"61c5799971f66478103d85b42562172496531a3aa2e8e8566befc75079bb7154"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/dafny/blobs/sha256:af77022b146755d7d3504323a153d62fd2d234fd23b831884555d1d6a037e16f","sha256":"af77022b146755d7d3504323a153d62fd2d234fd23b831884555d1d6a037e16f"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["gradle@8","openjdk"],"dependencies":["dotnet@8","z3"],"test_dependencies":["openjdk"],"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":"2026-11-10","deprecation_reason":null,"deprecation_replacement_formula":null,"deprecation_replacement_cask":null,"deprecate_args":{"date":"2026-11-10","because":"needs end-of-life .NET 8","replacement_formula":null,"replacement_cask":null},"disabled":false,"disable_date":"2027-11-10","disable_reason":null,"disable_replacement_formula":null,"disable_replacement_cask":null,"disable_args":{"date":"2027-11-10","because":"needs end-of-life .NET 8","replacement_formula":null,"replacement_cask":null},"post_install_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"2e84f2ff6500f17d1e5246bc35f5b83349fa0e7e","ruby_source_path":"Formula/d/dafny.rb","ruby_source_checksum":{"sha256":"7d7ef6f864f46e7193bc7837acf64e55df7a29b354ec69f6806f4e82c2bd79e9"},"variations":{},"executables":["dafny"],"analytics":{"install":{"30d":{"dafny":32},"90d":{"dafny":122},"365d":{"dafny":500}},"install_on_request":{"30d":{"dafny":32},"90d":{"dafny":122},"365d":{"dafny":500}},"build_error":{"30d":{"dafny":0}}},
"generated_date":"2026-06-07"}