From 3fd4ba0079e95cd6163b9d7843f04d6d58f0ffc2 Mon Sep 17 00:00:00 2001
From: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>
Date: Mon, 26 May 2025 11:00:29 +0000
Subject: [PATCH 1/2] elan-init 4.1.2

---
 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 3b642519a2b19..be76e29453ad6 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/v4.1.1.tar.gz"
-  sha256 "a4a99e2aafca4ce316ef8f88757fafbbf50d2a5912551086c5aaa522c9d976f4"
+  url "https://github.com/leanprover/elan/archive/refs/tags/v4.1.2.tar.gz"
+  sha256 "7d31b3d1d69857b11611363bd94bfdc4f0525a85077f20f823abf65b39ccc350"
   license any_of: ["Apache-2.0", "MIT"]
   head "https://github.com/leanprover/elan.git", branch: "master"
 

From 7880937c788b4abd50c09e0918c893966c9656da Mon Sep 17 00:00:00 2001
From: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>
Date: Mon, 26 May 2025 11:20:21 +0000
Subject: [PATCH 2/2] elan-init: update 4.1.2 bottle.

---
 Formula/e/elan-init.rb | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/Formula/e/elan-init.rb b/Formula/e/elan-init.rb
index be76e29453ad6..d7e182c306716 100644
--- a/Formula/e/elan-init.rb
+++ b/Formula/e/elan-init.rb
@@ -12,13 +12,13 @@ class ElanInit < Formula
   end
 
   bottle do
-    sha256 cellar: :any_skip_relocation, arm64_sequoia: "71de04c8408f37e34aab966a7b6d1439a81e4233d82c0ea4cd5cca8f57bb45e7"
-    sha256 cellar: :any_skip_relocation, arm64_sonoma:  "70553de5241801a2e59c10c5a0304c68d365939f881448db83686a84ee6d2622"
-    sha256 cellar: :any_skip_relocation, arm64_ventura: "2c5a97ac6e90f7f41b7aecf11d1ff1cbf6fcd6f5c4174e5e39947e4a642829da"
-    sha256 cellar: :any_skip_relocation, sonoma:        "bed5a10adf475346b7cf8be6bf8c314ce136aaacbf938c9a2da4f77b56b3d9a4"
-    sha256 cellar: :any_skip_relocation, ventura:       "53256d38860f897809c90deffc2a06f3329f0f44b9eaa0c556e5cf8de3e75af2"
-    sha256 cellar: :any_skip_relocation, arm64_linux:   "9e00621364800d7384ee4e7a49a2ca120e62e8f30358106e374cac4ab11aa4f3"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:  "c1121213571c65b066dae69a6a228aa259bb0afbda3d56502464b19f4b29bde8"
+    sha256 cellar: :any_skip_relocation, arm64_sequoia: "b4902a5f8381b8b51b1bd53bf09e9547795d327c16292cbd5cea895a232bff0d"
+    sha256 cellar: :any_skip_relocation, arm64_sonoma:  "244c72110dc59e51a7b8248b82ce1773277cc3c61f45ca5ed1bfd49d2af58b25"
+    sha256 cellar: :any_skip_relocation, arm64_ventura: "36c1f08f1df2453875145833443e4666498b85d02e194b3c1ad5c6bf9401cd31"
+    sha256 cellar: :any_skip_relocation, sonoma:        "ac4eb727726c26fe57df0136286bd192cdeea784f19dea1975b111721a4dbe26"
+    sha256 cellar: :any_skip_relocation, ventura:       "1a334d939336097ded29ac2578ac4d4813a97097f815d9bcfa4870b5923536b7"
+    sha256 cellar: :any_skip_relocation, arm64_linux:   "36c8e9b09da80ed74aaf314080958e8d1d03615aa6306ab1b9d898e45fd9f812"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:  "af3db622b0392ebdda14742c19a9830c656336614c3c8036d2bde87ebe44c273"
   end
 
   depends_on "pkgconf" => :build