lean-cli: use `go` to build

Closes #111572. Signed-off-by: Carlo Cabrera <30379873+carlocab@users.noreply.github.com> Signed-off-by: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>
2022-09-23 18:31:52 -07:00 · 2022-09-23 18:31:52 -07:00 · 3aa87a2a85
parent 7901b15234
commit 3aa87a2a85
1 changed files with 1 additions and 2 deletions
--- a/Formula/lean-cli.rb
+++ b/Formula/lean-cli.rb
@ -15,8 +15,7 @@ class LeanCli < Formula
    sha256 cellar: :any_skip_relocation, x86_64_linux:   "50699b68f8cd4adc66f438591ff8dc3fa1d2912fa126167ccd4d6808783d2e9f"
  end

-  # Bump to 1.18 on the next release, if possible.
-  depends_on "go@1.17" => :build
+  depends_on "go" => :build

  def install
    build_from = build.head? ? "homebrew-head" : "homebrew"