{"name":"elan-init","full_name":"elan-init","tap":"homebrew/core","oldname":null,"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":"3.1.1","head":"HEAD","bottle":true},"urls":{"stable":{"url":"https://github.com/leanprover/elan/archive/refs/tags/v3.1.1.tar.gz","tag":null,"revision":null,"using":null,"checksum":"b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c"},"head":{"url":"https://github.com/leanprover/elan.git","branch":"master","using":null}},"revision":0,"version_scheme":0,"bottle":{"stable":{"rebuild":0,"root_url":"https://ghcr.io/v2/homebrew/core","files":{"arm64_sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:be718756f24a38dfc2fdeabb6c1a8faa762f54e26bd7ba6c46a73ca6e7242a83","sha256":"be718756f24a38dfc2fdeabb6c1a8faa762f54e26bd7ba6c46a73ca6e7242a83"},"arm64_ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:d3eb50c0b149c00a1b4cdaeffe3083d9ed651e1db257a73f497ffb0328cfb33c","sha256":"d3eb50c0b149c00a1b4cdaeffe3083d9ed651e1db257a73f497ffb0328cfb33c"},"arm64_monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:e087e76a080ff632b3873e6fdcf490021d0708984c95c736d9e837dad82fd08f","sha256":"e087e76a080ff632b3873e6fdcf490021d0708984c95c736d9e837dad82fd08f"},"sonoma":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:f86a70914dac7f2cc72b4f7e8fa0e5a6833f38e1e0d407061f52f02014d6c297","sha256":"f86a70914dac7f2cc72b4f7e8fa0e5a6833f38e1e0d407061f52f02014d6c297"},"ventura":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:468fe8ba4bdfac9eb73ff28e27ae164028640a3ccde8bea22073f2ac08ee352e","sha256":"468fe8ba4bdfac9eb73ff28e27ae164028640a3ccde8bea22073f2ac08ee352e"},"monterey":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:5a7e351d4f81b94d2e6538e41090c70f87ae125ca421dc59d586be3b2dca41a7","sha256":"5a7e351d4f81b94d2e6538e41090c70f87ae125ca421dc59d586be3b2dca41a7"},"x86_64_linux":{"cellar":":any_skip_relocation","url":"https://ghcr.io/v2/homebrew/core/elan-init/blobs/sha256:9351bed83126cf13aba8e95e1dcf4fd2dc9b477381b10fe41929f248b1cba8e3","sha256":"9351bed83126cf13aba8e95e1dcf4fd2dc9b477381b10fe41929f248b1cba8e3"}}}},"pour_bottle_only_if":null,"keg_only":false,"keg_only_reason":null,"options":[],"build_dependencies":["rust"],"dependencies":["coreutils","gmp"],"test_dependencies":[],"recommended_dependencies":[],"optional_dependencies":[],"uses_from_macos":["bzip2","curl","zlib"],"uses_from_macos_bounds":[{},{},{}],"requirements":[],"conflicts_with":["lean"],"conflicts_with_reasons":["`lean` and `elan-init` install the same binaries"],"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/e/elan-init.rb","ruby_source_checksum":{"sha256":"8489dbf47c5220e1d93dfc292e9fd743cee612fb1da0e685394ce0032f07f49f"},"variations":{"x86_64_linux":{"build_dependencies":["rust","pkg-config"]}},"analytics":{"install":{"30d":{"elan-init":141},"90d":{"elan-init":653,"elan-init --HEAD":1},"365d":{"elan-init":2307,"elan-init --HEAD":3}},"install_on_request":{"30d":{"elan-init":141},"90d":{"elan-init":653,"elan-init --HEAD":1},"365d":{"elan-init":2307,"elan-init --HEAD":3}},"build_error":{"30d":{"elan-init":2}}},
"generated_date":"2024-05-13"}