diff --git a/Formula/d/dafny.rb b/Formula/d/dafny.rb
index d23775c25cc09..e43e7910cf005 100644
--- a/Formula/d/dafny.rb
+++ b/Formula/d/dafny.rb
@@ -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"