{"name":"elan-init","full_name":"elan-init","tap":"homebrew/core","oldnames":[],"aliases":["elan"],"versioned_formulae":[],"desc":"Lean Theorem Prover installer and version manager","license":"Apache-2.0 OR MIT","homepage":"https://github.com/leanprover/elan","versions":{"stable":"4.2.2","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/leanprover/elan/archive/refs/tags/v4.2.2.tar.gz","tag":null,"revision":null,"using":null,"checksum":"b1f151659be6f2a9c840049ec40bff126847de0fcceef7c42da04627e34b1712"},"head":{"url":"https://github.com/leanprover/elan.git","branch":"master","using":null}},"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/elan-init/blobs/sha256:7a90893f8379a0d4ed86b5221ceb9f695c4d02cc3119f4fcfeb9040a49335945","sha256":"7a90893f8379a0d4ed86b5221ceb9f695c4d02cc3119f4fcfeb9040a49335945"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:fd6cec38e28d57af748a4ca5448d569ccb98f21d9b78d6cb4e037d974434a54f","sha256":"fd6cec38e28d57af748a4ca5448d569ccb98f21d9b78d6cb4e037d974434a54f"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:e87d7ac0d97409f6b56a459bbc5f8f129886132d3a9c91e51771b4c784a6ddba","sha256":"e87d7ac0d97409f6b56a459bbc5f8f129886132d3a9c91e51771b4c784a6ddba"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:0cf1dc6d52084d03f5925c37a0024d7200d5a12d2ad2c76067ee48274f7ead7c","sha256":"0cf1dc6d52084d03f5925c37a0024d7200d5a12d2ad2c76067ee48274f7ead7c"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:35070ba93d6f92605c4cc92a911811b599e5683befd4a89a1fa77d5842f61db5","sha256":"35070ba93d6f92605c4cc92a911811b599e5683befd4a89a1fa77d5842f61db5"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:1779d9405be3a6603585061405937fd2de0001e595f3caac78aa376c1bfb6a96","sha256":"1779d9405be3a6603585061405937fd2de0001e595f3caac78aa376c1bfb6a96"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["pkgconf","rust"],"dependencies":["coreutils","gmp"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":["bzip2","curl"],"uses_from_macos_bounds":[{},{}],"requirements":[],"conflicts_with":["lean-cli"],"conflicts_with_reasons":["both install `lean` binaries"],"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_steps":[],"post_install_defined":false,"service":null,"tap_git_head":"450266a77efddc27b1f9e745138d77436848996f","ruby_source_path":"Formula/e/elan-init.rb","ruby_source_checksum":{"sha256":"2a37999853147c2929da6989bfe206206c16b31d5b47a6c4c58ed5b6661f4af9"},"variations":{"x86_64_linux":{"dependencies":["coreutils","gmp","xz","zlib-ng-compat"]},"arm64_linux":{"dependencies":["coreutils","gmp","xz","zlib-ng-compat"]}},"executables":["elan","elan-init","lake","lean","leanc","leanchecker","leanmake","leanpkg"],"analytics":{"install":{"30d":{"elan-init":313,"elan-init --HEAD":2},"90d":{"elan-init":729,"elan-init --HEAD":3},"365d":{"elan-init":1681,"elan-init --HEAD":3}},"install_on_request":{"30d":{"elan-init":313,"elan-init --HEAD":2},"90d":{"elan-init":729,"elan-init --HEAD":3},"365d":{"elan-init":1681,"elan-init --HEAD":3}},"build_error":{"30d":{"elan-init":0}}},
"generated_date":"2026-06-07"}