From 47af8725742386c23f8d6ed8a77a95fe6ed68eaa Mon Sep 17 00:00:00 2001
From: Vishwajit Dandage <46324457+vishwajitdandage@users.noreply.github.com>
Date: Fri, 24 Apr 2026 09:19:28 +0200
Subject: [PATCH] Fix sha256 for cvc5_mac

---
 MODULE.bazel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/MODULE.bazel b/MODULE.bazel
index 0205716..d450fde 100644
--- a/MODULE.bazel
+++ b/MODULE.bazel
@@ -101,7 +101,7 @@ http_archive(
 http_archive(
     name = "cvc5_mac",
     build_file = "@trlc//:cvc5.BUILD",
-    sha256 = "9b00ae44d51903cd830e281c97066d7e4c0a57f1aa6c5b275435d3016427be64",
+    sha256 = "6c63ba3bd174d026be161be75f64df8d200c8a284012c49e91807f3ede5afc44",
     strip_prefix = "cvc5-macOS-arm64-static-gpl",
     url = "https://github.com/cvc5/cvc5/releases/download/cvc5-1.3.2/cvc5-macOS-arm64-static-gpl.zip",
 )