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",
 )