Merge pull request Homebrew#163207 from BrewTestBot/bump-elan-init-3.1.0

elan-init 3.1.0
mongodb-js · Feb 19, 2024 · abca13e · abca13e
2 parents 8e04e7b + 3093bc7
commit abca13e
Showing 1 changed file with 9 additions and 11 deletions.
diff --git a/Formula/e/elan-init.rb b/Formula/e/elan-init.rb
@@ -1,21 +1,19 @@
 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"
 
   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