chore(deps): update dependency cryptominisat to v5.11.12

masc-ucsc · Aug 11, 2023 · a970e5c · a970e5c
1 parent e920571
commit a970e5c
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 = "25116e74215a3ec608323cb89e6f0a115b94b349ea223978d08d93d3a80e9084",
+    strip_prefix = "cryptominisat-5.11.12",
     urls = [
-        "https://github.com/msoos/cryptominisat/archive/refs/tags/5.11.11.zip",
+        "https://github.com/msoos/cryptominisat/archive/refs/tags/5.11.12.zip",
     ],
 )