{"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.1","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/leanprover/elan/archive/refs/tags/v4.2.1.tar.gz","tag":null,"revision":null,"using":null,"checksum":"637cf1d0746d05979ec9f97f577ac57f38f1606fc5c596d10579b9b367a3157d"},"head":{"url":"https://github.com/leanprover/elan.git","branch":"master","using":null}},"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:0aa3a85a551759132834cafd244eabdc65d9f35bdcfb769367e20eeddd0a94ef","sha256":"0aa3a85a551759132834cafd244eabdc65d9f35bdcfb769367e20eeddd0a94ef"},"arm64_sequoia":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:6227c7aecf02311c895a073da058c6b3e3bdcef838e5d8388e7fd83ed0af8b1c","sha256":"6227c7aecf02311c895a073da058c6b3e3bdcef838e5d8388e7fd83ed0af8b1c"},"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:46647e6a334a182e45624b61624b6c775efbdefe5e75cabc801f6673d2c6b278","sha256":"46647e6a334a182e45624b61624b6c775efbdefe5e75cabc801f6673d2c6b278"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:8f3638369e2d18a4c0b319d88acf822ed8c1e846192141783b4d131be09e4f13","sha256":"8f3638369e2d18a4c0b319d88acf822ed8c1e846192141783b4d131be09e4f13"},"arm64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:cde639ce235924aee6b5714aaf28e037f9a18f7fe3e41e4554bcc074dc8b188f","sha256":"cde639ce235924aee6b5714aaf28e037f9a18f7fe3e41e4554bcc074dc8b188f"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:b0e4b69d9f53afd63c0e62acda5e7fef1f821eee0ecf40b754c6997f0bc97e9f","sha256":"b0e4b69d9f53afd63c0e62acda5e7fef1f821eee0ecf40b754c6997f0bc97e9f"}}}},"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_defined":false,"service":null,"tap_git_head":"e01c7ad6d10ba193cc4ad127a7282b5d2bdbbbd3","ruby_source_path":"Formula/e/elan-init.rb","ruby_source_checksum":{"sha256":"4ed05510b74a0cb3dedbca727ff86fa207faf76887ed72e9ce8c1539d676d527"},"variations":{"x86_64_linux":{"dependencies":["coreutils","gmp","xz","zlib-ng-compat"]},"arm64_linux":{"dependencies":["coreutils","gmp","xz","zlib-ng-compat"]}},"analytics":{"install":{"30d":{"elan-init":137},"90d":{"elan-init":641,"elan-init --HEAD":1},"365d":{"elan-init":1675,"elan-init --HEAD":1}},"install_on_request":{"30d":{"elan-init":137},"90d":{"elan-init":641,"elan-init --HEAD":1},"365d":{"elan-init":1675,"elan-init --HEAD":1}},"build_error":{"30d":{"elan-init":0}}},
"generated_date":"2026-04-28"}