Update dependency cryptominisat to v5.11.14

masc-ucsc · Sep 22, 2023 · a543376 · a543376
1 parent 668cafb
commit a543376
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/WORKSPACE b/WORKSPACE
@@ -140,10 +140,10 @@ http_archive(
     name = "cryptominisat",
     build_file = "cryptominisat.BUILD",
     patches = ["//external:cryptominisat.patch"],
-    sha256 = "70f846f00fa01e64682bfcdcbdde217be168c4aebc861aefc96d6853234507f7",
-    strip_prefix = "cryptominisat-5.11.11",
+    sha256 = "e8847d65523e55030aa93da750500c1f685b33098f1fcd32add9e052b4d2e594",
+    strip_prefix = "cryptominisat-5.11.14",
     urls = [
-        "https://github.com/msoos/cryptominisat/archive/refs/tags/5.11.11.zip",
+        "https://github.com/msoos/cryptominisat/archive/refs/tags/5.11.14.zip",
     ],
 )