Elan Version Manager (e/elan-init.rb)

Homebrew formula for installing and managing the Lean Theorem Prover version manager. Use this to distribute CLI tools via macOS package managers.

# Source: https://github.com/tinyhumansai/homebrew-core | License: BSD-2-Clause | Copyright 2009-present, Homebrew contributors
# Provided via justclaw.it.com; keep this notice with the code.
class ElanInit < Formula
  desc "Lean Theorem Prover installer and version manager"
  homepage "https://github.com/leanprover/elan"
  url "https://github.com/leanprover/elan/archive/refs/tags/v4.2.3.tar.gz"
  sha256 "7094a5063378225598a420b13eded60f58c21f49fc2e009c68a6506da5d62580"
  license any_of: ["Apache-2.0", "MIT"]
  head "https://github.com/leanprover/elan.git", branch: "master"

  livecheck do
    url :stable
    regex(/^v?(\d+(?:\.\d+)+)$/i)
  end

  bottle do
    sha256 cellar: :any_skip_relocation, arm64_tahoe:   "d56c9a2feed740f0eb61e5e45c18f350057649ab70904a0639ce621864c40bdd"
    sha256 

... (truncated -- full source via MCP)