From 5ae2ba0adf8401a9acd0893a3ec8aba03becfed5 Mon Sep 17 00:00:00 2001 From: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com> Date: Mon, 19 Feb 2024 09:32:13 +0000 Subject: [PATCH 1/2] elan-init 3.1.0 --- Formula/e/elan-init.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Formula/e/elan-init.rb b/Formula/e/elan-init.rb index 081f2bda7bce7..f2ed7b8656a36 100644 --- a/Formula/e/elan-init.rb +++ b/Formula/e/elan-init.rb @@ -1,8 +1,8 @@ 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/v3.0.0.tar.gz" - sha256 "d1862df96e98515c5799bff168987e69382d824222e3fdebb4f41c63ef75d32c" + url "https://github.com/leanprover/elan/archive/refs/tags/v3.1.0.tar.gz" + sha256 "634366078812599bef485eec3af25bc3fa88da6dbe39414128b9c9e14a681a0a" license any_of: ["Apache-2.0", "MIT"] head "https://github.com/leanprover/elan.git", branch: "master" From 3093bc738502ef808a2eeac4057658cc247235bf Mon Sep 17 00:00:00 2001 From: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com> Date: Mon, 19 Feb 2024 11:07:33 +0000 Subject: [PATCH 2/2] elan-init: update 3.1.0 bottle. --- Formula/e/elan-init.rb | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/Formula/e/elan-init.rb b/Formula/e/elan-init.rb index f2ed7b8656a36..1d68409412635 100644 --- a/Formula/e/elan-init.rb +++ b/Formula/e/elan-init.rb @@ -7,15 +7,13 @@ class ElanInit < Formula head "https://github.com/leanprover/elan.git", branch: "master" bottle do - sha256 cellar: :any_skip_relocation, arm64_sonoma: "996fd2e6b7ac46ae690d97b7ac0e1baefe4664d0236a8a462526680825619482" - sha256 cellar: :any_skip_relocation, arm64_ventura: "2b4d9b6ab44dff35ef3ade3c1e8f425042f05d25f7b04fed7f3291b4c46b3a27" - sha256 cellar: :any_skip_relocation, arm64_monterey: "94a8d34bbfb3d7ba6fd72cf5c25f8a9a8a8874be4b7cfae46c65073caa7e8b20" - sha256 cellar: :any_skip_relocation, arm64_big_sur: "f337d05a721349509c7896bc699e2be0f0301ec66ec0ccd36378559b689ff0d1" - sha256 cellar: :any_skip_relocation, sonoma: "e34fdc9a3c381fd71652ed930e82a59dd74b7aa93ee527113dd3eebd24e3b311" - sha256 cellar: :any_skip_relocation, ventura: "9c5781b03a1d973bff99ecc5e1fb85c6445779df7e94fa4490e42cd9437a66c2" - sha256 cellar: :any_skip_relocation, monterey: "b6afe6d0327ee99a7fa5cb81f1f79e669b9be6ec1e0b544b10ce7575abfc3101" - sha256 cellar: :any_skip_relocation, big_sur: "16ddfdd1746bbf89dde1333a15959dc07272c9925ef16f04822c5bbdb0e508a3" - sha256 cellar: :any_skip_relocation, x86_64_linux: "5898a72ec21a103ada571b069c59f2497730c2163bc45c2e32c5c52fdf205360" + sha256 cellar: :any_skip_relocation, arm64_sonoma: "468673d385f124495e1e4c08789c3809736e485f8e1fb2c13ccd69a9d8fd03fc" + sha256 cellar: :any_skip_relocation, arm64_ventura: "3344477e7ad981331e8eb1d1a6378a70d84bf2a5fa3e5ae7aa7da25a95881bcc" + sha256 cellar: :any_skip_relocation, arm64_monterey: "7bd0e137a5032d8451b60cd4842020260d489a659e994b0e5c42640a9bbcce8e" + sha256 cellar: :any_skip_relocation, sonoma: "8b029e69209be0af7302ee2363bcc8e03b80e0e5050c3dd3660d6374326c7764" + sha256 cellar: :any_skip_relocation, ventura: "103deb977242e39eb69a8968676abc178820bbddcac7a015484d448c403eff60" + sha256 cellar: :any_skip_relocation, monterey: "99b1b5f8bedc016ff7c29edce26735ad24602e0cc690910944c5b9057fda503b" + sha256 cellar: :any_skip_relocation, x86_64_linux: "f4be45c30e1b3f7f98450808352649799d4ef26ad4afa1c4ca621f5571e07a58" end depends_on "rust" => :build