Merge pull request #146965 from BrewTestBot/bump-dafny-4.3.0

dafny 4.3.0
Homebrew · Sep 29, 2023 · 9ddd08e · 9ddd08e
2 parents 94a4376 + ee83d4e
commit 9ddd08e
Showing 1 changed file with 7 additions and 9 deletions.
diff --git a/Formula/d/dafny.rb b/Formula/d/dafny.rb
@@ -1,8 +1,8 @@
 class Dafny < Formula
   desc "Verification-aware programming language"
   homepage "https://github.com/dafny-lang/dafny/blob/master/README.md"
-  url "https://github.com/dafny-lang/dafny/archive/refs/tags/v4.2.0.tar.gz"
-  sha256 "b3f23c9fd7cb13ffa785928ca6a8b61da316564000948ce00eda2ac3d087760a"
+  url "https://github.com/dafny-lang/dafny/archive/refs/tags/v4.3.0.tar.gz"
+  sha256 "f5cb71b3ea0ee0008291cf48540797f62d336f01330e8e519329dcdd1e78ce92"
   license "MIT"
 
   livecheck do
@@ -11,13 +11,11 @@ class Dafny < Formula
   end
 
   bottle do
-    sha256 cellar: :any_skip_relocation, arm64_ventura:  "400e27e03e51b89dd4c2898b52a26dc23614d1eae927bf19fe3b8bda2cdf0689"
-    sha256 cellar: :any_skip_relocation, arm64_monterey: "bf0071788f21220143ede462f73a3efc0d84859f2860aedcade09067793a2f9f"
-    sha256 cellar: :any_skip_relocation, arm64_big_sur:  "a91553e15fcd64f3e46eaff906228f60e5f16b747e3ccc84157295b98533c8d5"
-    sha256 cellar: :any_skip_relocation, ventura:        "e466bcdc357080ea39c1d5ea2161b3d0ef4e034ae1405fd79e4a3ac78c5e262a"
-    sha256 cellar: :any_skip_relocation, monterey:       "b1eab1ae0988638e737b556dacb0e3a8ce2235042dcec646d83fb6b0bd5e4492"
-    sha256 cellar: :any_skip_relocation, big_sur:        "2c4ba020f8ad3a45db63e5de990aaba17f67ecd14539b61cec697d3bb3f020f0"
-    sha256 cellar: :any_skip_relocation, x86_64_linux:   "d30205455cc20d5cc7bb4c843dc7f980f3022f6c31cb3d56201755c680781bcb"
+    sha256 cellar: :any_skip_relocation, arm64_ventura:  "94e5c99f96e61b34bd0fbf4ae0911ed51494331cfeb0a371ac7d72a003798173"
+    sha256 cellar: :any_skip_relocation, arm64_monterey: "b144d10a4b6d837d95935d61542ce099144b6ef04862f2d37daf9f7074095e5c"
+    sha256 cellar: :any_skip_relocation, ventura:        "b5c1248f3838792406c6eb24c80af33adf91a37da832bddd5b672650e0da062e"
+    sha256 cellar: :any_skip_relocation, monterey:       "8b7ad20eca0adc568b453dbdc8e6c34e512c0d630953c8bd48013a5d1853658d"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:   "f36f301181e63c313fe4d805c8fd5524e6eccfd2086f2c50c9571f0e7134c1f3"
   end
 
   depends_on "dotnet@6"