{"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.3","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/leanprover/elan/archive/refs/tags/v4.2.3.tar.gz","tag":null,"revision":null,"using":null,"checksum":"7094a5063378225598a420b13eded60f58c21f49fc2e009c68a6506da5d62580"},"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:d56c9a2feed740f0eb61e5e45c18f350057649ab70904a0639ce621864c40bdd","sha256":"d56c9a2feed740f0eb61e5e45c18f350057649ab70904a0639ce621864c40bdd"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:95c6059bf4969b891585eab9d96b179d4ca2e2d3f08fe6f0f8531cf55fece429","sha256":"95c6059bf4969b891585eab9d96b179d4ca2e2d3f08fe6f0f8531cf55fece429"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:303a5825d263d9348a699aa3d3b1f1a6fb6ba8f73a12bcf1d1397385aaf2e4f3","sha256":"303a5825d263d9348a699aa3d3b1f1a6fb6ba8f73a12bcf1d1397385aaf2e4f3"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:9eab0dffe139cc8316551030634f0ca89dd743e3eabe825e9b9237d2064d5b4b","sha256":"9eab0dffe139cc8316551030634f0ca89dd743e3eabe825e9b9237d2064d5b4b"},"arm64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:9b5f98d89886f0beff1eb92baaf3ef2a3f9c79befe8ba996ab4e1b0d1ef1d9f9","sha256":"9b5f98d89886f0beff1eb92baaf3ef2a3f9c79befe8ba996ab4e1b0d1ef1d9f9"},"x86_64_linux":{"cellar":":any","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:f2f6c3b396202085ab6e7eb4b95b8a7cdc4b87bb15d81fee436e11c653c1f177","sha256":"f2f6c3b396202085ab6e7eb4b95b8a7cdc4b87bb15d81fee436e11c653c1f177"}}}},"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":"7866a4dab1cca7b3fd23da33cb93aaefbabacaf7","ruby_source_path":"Formula/e/elan-init.rb","ruby_source_checksum":{"sha256":"6cf6cd91c6e200fd99b1f2cce688993122a5af654184ef4693c548101319ceaa"},"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":330,"elan-init --HEAD":2},"90d":{"elan-init":742,"elan-init --HEAD":3},"365d":{"elan-init":1697,"elan-init --HEAD":3}},"install_on_request":{"30d":{"elan-init":330,"elan-init --HEAD":2},"90d":{"elan-init":742,"elan-init --HEAD":3},"365d":{"elan-init":1697,"elan-init --HEAD":3}},"build_error":{"30d":{"elan-init":0}}},
"generated_date":"2026-06-08"}