8000 Merge pull request #163207 from BrewTestBot/bump-elan-init-3.1.0 · ArduinoBot/homebrew-core@abca13e · GitHub
[go: up one dir, main page]
Skip to content

Commit abca13e

Browse files
BrewTestBotBrewTestBot
authored
Merge pull request Homebrew#163207 from BrewTestBot/bump-elan-init-3.1.0
elan-init 3.1.0
2 parents 8e04e7b + 3093bc7 commit abca13e

File tree

1 file changed

+9
-11
lines changed

1 file changed

+9
-11
lines changed

‎Formula/e/elan-init.rb

Lines changed: 9 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,19 @@
11
class ElanInit < Formula
22
desc "Lean Theorem Prover installer and version manager"
33
homepage "https://github.com/leanprover/elan"
4-
url "https://github.com/leanprover/elan/archive/refs/tags/v3.0.0.tar.gz"
5-
sha256 "d1862df96e98515c5799bff168987e69382d824222e3fdebb4f41c63ef75d32c"
4+
url "https://github.com/leanprover/elan/archive/refs/tags/v3.1.0.tar.gz"
5+
sha256 "634366078812599bef485eec3af25bc3fa88da6dbe39414128b9c9e14a681a0a"
66
license any_of: ["Apache-2.0", "MIT"]
77
head "https://github.com/leanprover/elan.git", branch: "master"
88

99
bottle do
10-
sha256 cellar: :any_skip_relocation, arm64_sonoma: "996fd2e6b7ac46ae690d97b7ac0e1baefe4664d0236a8a462526680825619482"
11-
sha256 cellar: :any_skip_relocation, arm64_ventura: "2b4d9b6ab44dff35ef3ade3c1e8f425042f05d25f7b04fed7f3291b4c46b3a27"
12-
sha256 cellar: :any_skip_relocation, arm64_monterey: "94a8d34bbfb3d7ba6fd72cf5c25f8a9a8a8874be4b7cfae46c65073caa7e8b20"
13-
sha256 cellar: :any_skip_relocation, arm64_big_sur: "f337d05a721349509c7896bc699e2be0f0301ec66ec0ccd36378559b689ff0d1"
14-
sha256 cellar: :any_skip_relocation, sonoma: "e34fdc9a3c381fd71652ed930e82a59dd74b7aa93ee527113dd3eebd24e3b311"
15-
sha256 cellar: :any_skip_relocation, ventura: "9c5781b03a1d973bff99ecc5e1fb85c6445779df7e94fa4490e42cd9437a66c2"
16-
sha256 cellar: :any_skip_relocation, monterey: "b6afe6d0327ee99a7fa5cb81f1f79e669b9be6ec1e0b544b10ce7575abfc3101"
17-
sha256 cellar: :any_skip_relocation, big_sur: "16ddfdd1746bbf89dde1333a15959dc07272c9925ef16f04822c5bbdb0e508a3"
18-
sha256 cellar: :any_skip_relocation, x86_64_linux: "5898a72ec21a103ada571b069c59f2497730c2163bc45c2e32c5c52fdf205360"
10+
sha256 cellar: :any_skip_relocation, arm64_sonoma: "468673d385f124495e1e4c08789c3809736e485f8e1fb2c13ccd69a9d8fd03fc"
11+
sha256 cellar: :any_skip_relocation, arm64_ventura: "3344477e7ad981331e8eb1d1a6378a70d84bf2a5fa3e5ae7aa7da25a95881bcc"
12+
sha256 cellar: :any_skip_relocation, arm64_monterey: "7bd0e137a5032d8451b60cd4842020260d489a659e994b0e5c42640a9bbcce8e"
13+
sha256 cellar: :any_skip_relocation, sonoma: "8b029e69209be0af7302ee2363bcc8e03b80e0e5050c3dd3660d6374326c7764"
14+
sha256 cellar: :any_skip_relocation, ventura: "103deb977242e39eb69a8968676abc178820bbddcac7a015484d448c403eff60"
15+
sha256 cellar: :any_skip_relocation, monterey: "99b1b5f8bedc016ff7c29edce26735ad24602e0cc690910944c5b9057fda503b"
16+
sha256 cellar: :any_skip_relocation, x86_64_linux: "f4be45c30e1b3f7f98450808352649799d4ef26ad4afa1c4ca621f5571e07a58"
1917
end
2018

2119
depends_on "rust" => :build

0 commit comments

Comments
 (0)
0