elan-init: update 3.1.0 bottle.

mongodb-js · Feb 19, 2024 · 3093bc7 · 3093bc7
1 parent 5ae2ba0
commit 3093bc7
Showing 1 changed file with 7 additions and 9 deletions.
diff --git 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