Update Formula/cbmc@6.3.1.rb

tautschnig · web-flow · commit 1c6a2a42688d · 2024-09-20T18:05:37.000+02:00
diff --git a/Formula/cbmc@6.3.1.rb b/Formula/cbmc@6.3.1.rb
@@ -8,11 +8,11 @@ class CbmcAT631 < Formula
 
   bottle do
     root_url "https://github.com/diffblue/homebrew-cbmc/releases/download/bag-of-goodies"
-  sha256 cellar: :any_skip_relocation, arm64_sonoma:        "eb9a036d14b68a5f531fc134bae66178ef780b81406ed7664d2cf3d655c6bff7"
-  sha256 cellar: :any_skip_relocation, arm64_ventura:       "cf6ce2452d773152d1ca5e40876176a7d29482be33189bd8ea6955ab67e0040d"
-  sha256 cellar: :any_skip_relocation, sonoma:              "0349025e92bf7cd155f2145024daf9163aa03eae344f0c7a907a3cc04fa015e1"
-  sha256 cellar: :any_skip_relocation, ventura:             "e3afc36341a6769c8d7019e3ab1eb1159e562bf39d80902707d704a601044369"
-  sha256 cellar: :any_skip_relocation, x86_64_linux:        "5479cbcce605574b23746ceaca1c9d12dd9d94e47d2e6c9551757b8d2af169b1"
+    sha256 cellar: :any_skip_relocation, arm64_sonoma:        "eb9a036d14b68a5f531fc134bae66178ef780b81406ed7664d2cf3d655c6bff7"
+    sha256 cellar: :any_skip_relocation, arm64_ventura:       "cf6ce2452d773152d1ca5e40876176a7d29482be33189bd8ea6955ab67e0040d"
+    sha256 cellar: :any_skip_relocation, sonoma:              "0349025e92bf7cd155f2145024daf9163aa03eae344f0c7a907a3cc04fa015e1"
+    sha256 cellar: :any_skip_relocation, ventura:             "e3afc36341a6769c8d7019e3ab1eb1159e562bf39d80902707d704a601044369"
+    sha256 cellar: :any_skip_relocation, x86_64_linux:        "5479cbcce605574b23746ceaca1c9d12dd9d94e47d2e6c9551757b8d2af169b1"
   end
 
   depends_on "cmake" => :build
