From 0d83e8bd670c839b2ba1526ab330fff2e828f5cb Mon Sep 17 00:00:00 2001
From: Michael Cho <20700669+cho-m@users.noreply.github.com>
Date: Mon, 4 Nov 2024 02:45:45 +0000
Subject: [PATCH] dafny: update 4.9.0 bottle.

---
 Formula/d/dafny.rb | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Formula/d/dafny.rb b/Formula/d/dafny.rb
index f992fb084049b..caeeb4e130572 100644
--- a/Formula/d/dafny.rb
+++ b/Formula/d/dafny.rb
@@ -6,9 +6,10 @@ class Dafny < Formula
   license "MIT"
 
   bottle do
-    sha256 cellar: :any_skip_relocation, arm64_sonoma: "1d0c2d698efa882dc35316a259c2d1bca1f3814f2b143f01e1088e3a4b10c77b"
-    sha256 cellar: :any_skip_relocation, sonoma:       "b780a11bcc50e5c26ee52e3ea912be50caf1d0404afe9fb0f6bd3d55b3b48fe9"
-    sha256 cellar: :any_skip_relocation, x86_64_linux: "f5797f4585a7641abb8e04c9ff93410bb9efed682344b772edd313ff6622a2dd"
+    sha256 cellar: :any_skip_relocation, arm64_sequoia: "2a36bf3e4ca3d330259682a45b8e2819ff8c77c64268038675cab30ee2757f92"
+    sha256 cellar: :any_skip_relocation, arm64_sonoma:  "1d0c2d698efa882dc35316a259c2d1bca1f3814f2b143f01e1088e3a4b10c77b"
+    sha256 cellar: :any_skip_relocation, sonoma:        "b780a11bcc50e5c26ee52e3ea912be50caf1d0404afe9fb0f6bd3d55b3b48fe9"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:  "f5797f4585a7641abb8e04c9ff93410bb9efed682344b772edd313ff6622a2dd"
   end
 
   # Align deprecation with dotnet@6. Can be undeprecated if dependency is updated.