{"name":"dafny","full_name":"dafny","tap":"homebrew/core","oldname":null,"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.6.0","head":null,"bottle":true},"urls":{"stable":{"url":"https://github.com/dafny-lang/dafny/archive/refs/tags/v4.6.0.tar.gz","tag":null,"revision":null,"using":null,"checksum":"b1da85f4be48179a7131ad32a6b904e7f0c671fd9467cb12cb9959e273c4fc6e"}},"revision":0,"version_scheme":0,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/dafny/blobs/sha256:ec74acf0b9418e771378c3fdc3f8cff827e2c56b98af165d6120d124d26b41e8","sha256":"ec74acf0b9418e771378c3fdc3f8cff827e2c56b98af165d6120d124d26b41e8"},"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/dafny/blobs/sha256:d1fddb32fb09a9661fc019dd65e84f3a03f8f55c571c58e7d2c48488f85d835a","sha256":"d1fddb32fb09a9661fc019dd65e84f3a03f8f55c571c58e7d2c48488f85d835a"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/dafny/blobs/sha256:280ca13e956a198e697625bfdcca6398c07aa6a1f84d1424059970e0e175d7ac","sha256":"280ca13e956a198e697625bfdcca6398c07aa6a1f84d1424059970e0e175d7ac"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/dafny/blobs/sha256:5bb6f97cd2c12223ac79e3c6426c76a0dafc4e00d2e4c711d580d963416acc56","sha256":"5bb6f97cd2c12223ac79e3c6426c76a0dafc4e00d2e4c711d580d963416acc56"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/dafny/blobs/sha256:89f943ade7b3a204f2cd7b0247b0ac2f93ef82aeb782bb71fb676874612cc122","sha256":"89f943ade7b3a204f2cd7b0247b0ac2f93ef82aeb782bb71fb676874612cc122"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":[],"dependencies":["dotnet@6","openjdk@17","z3"],"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,"disabled":false,"disable_date":null,"disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"8e99417b09acd7f3421aa539732f85107f6f64ff","ruby_source_path":"Formula/d/dafny.rb","ruby_source_checksum":{"sha256":"4ba823bd3f2ec0ec188e474f6dcdde7579bb31cca5a4fa33442490ff57c108f4"},"variations":{},"analytics":{"install":{"30d":{"dafny":112},"90d":{"dafny":555,"dafny --HEAD":1},"365d":{"dafny":1727,"dafny --HEAD":1}},"install_on_request":{"30d":{"dafny":112},"90d":{"dafny":555,"dafny --HEAD":1},"365d":{"dafny":1727,"dafny --HEAD":1}},"build_error":{"30d":{"dafny":0}}},
"generated_date":"2024-05-13"}