{"name":"lean","full_name":"lean","tap":"homebrew/core","oldname":null,"oldnames":[],"aliases":[],"versioned_formulae":[],"desc":"Theorem prover","license":"Apache-2.0","homepage":"https://leanprover-community.github.io/","versions":{"stable":"3.51.1","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/leanprover-community/lean/archive/refs/tags/v3.51.1.tar.gz","tag":null,"revision":null,"using":null,"checksum":"5a4734bf345d6c5ba6eacd2d33d86d9540eea7d008b4ebf8dde126e729fcbcaf"},"head":{"url":"https://github.com/leanprover-community/lean.git","branch":"master","using":null}},"revision":0,"version_scheme":0,"bottle":{"stable":{"rebuild":1,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/lean/blobs/sha256:a5568b994d186b0a5e50a10dcfaa7e7ada0106308a8f80412eea4e71662729cf","sha256":"a5568b994d186b0a5e50a10dcfaa7e7ada0106308a8f80412eea4e71662729cf"},"arm64_ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/lean/blobs/sha256:0525ce214174c28a6604f69a8ccf14477dcf311b587572c19729d8b7302dfd8e","sha256":"0525ce214174c28a6604f69a8ccf14477dcf311b587572c19729d8b7302dfd8e"},"arm64_monterey":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/lean/blobs/sha256:fdf55df69720f665834f8b31e8071e0d0802552a265aa0075bbe60676faf7a0a","sha256":"fdf55df69720f665834f8b31e8071e0d0802552a265aa0075bbe60676faf7a0a"},"arm64_big_sur":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/lean/blobs/sha256:d231fbba7c033640f2f5f912a4e23a92831217d7a374f54836b8075707ab263b","sha256":"d231fbba7c033640f2f5f912a4e23a92831217d7a374f54836b8075707ab263b"},"sonoma":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/lean/blobs/sha256:500529aa863acd0c4d5f1257d391bd496d40cafa6aba87595071d786c38d7f47","sha256":"500529aa863acd0c4d5f1257d391bd496d40cafa6aba87595071d786c38d7f47"},"ventura":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/lean/blobs/sha256:2cab4d1b6b3a2386333dce3b836f47e815747fd95d5cd3ce84e1b094be7f8278","sha256":"2cab4d1b6b3a2386333dce3b836f47e815747fd95d5cd3ce84e1b094be7f8278"},"monterey":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/lean/blobs/sha256:418e91f115eda2f2956ec13d4ba57101e55d1cfee8154518db90f5fbbda48344","sha256":"418e91f115eda2f2956ec13d4ba57101e55d1cfee8154518db90f5fbbda48344"},"big_sur":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/lean/blobs/sha256:e101719fb4712cbe706aa8a32d1335b3b6b5211a2e741eb2fb714f079814b2ed","sha256":"e101719fb4712cbe706aa8a32d1335b3b6b5211a2e741eb2fb714f079814b2ed"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/lean/blobs/sha256:fc9024e8785665fa3529e7a02d4488b49bfd713a0c46a9173224eb84859ffb42","sha256":"fc9024e8785665fa3529e7a02d4488b49bfd713a0c46a9173224eb84859ffb42"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["cmake"],"dependencies":["coreutils","gmp","jemalloc"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":[],"uses_from_macos_bounds":[],"requirements":[{"name":"macos","cask":null,"download":null,"version":"10.14","contexts":[],"specs":["stable","head"]}],"conflicts_with":["elan-init"],"conflicts_with_reasons":["`lean` and `elan-init` install the same binaries"],"link_overwrite":[],"caveats":null,"installed":[],"linked_keg":null,"pinned":false,"outdated":false,"deprecated":true,"deprecation_date":null,"deprecation_reason":"deprecated_upstream","disabled":false,"disable_date":"2024-06-28","disable_reason":null,"post_install_defined":false,"service":null,"tap_git_head":"1f3d566233384a23bb46a72e93369d5d8026b75c","ruby_source_path":"Formula/l/lean.rb","ruby_source_checksum":{"sha256":"cd77227dfb030947fb6c5fe0b47664d66d8c7ba1e20ff6e6a51e6c08fe473ee9"},"variations":{},"analytics":{"install":{"30d":{"lean":10},"90d":{"lean":39,"lean --HEAD":1},"365d":{"lean":528,"lean --HEAD":2}},"install_on_request":{"30d":{"lean":10},"90d":{"lean":39,"lean --HEAD":1},"365d":{"lean":409,"lean --HEAD":2}},"build_error":{"30d":{"lean":0}}},
"generated_date":"2024-05-12"}