crucible: Explicitly require what4-1.6.1 or greater

As of #1211, `crucible` requires `what4-1.6.1` or later to build, but this was not reflected in the `.cabal` file's version bounds. Fix this, and also bump the `what4` submodule to version 1.6.1. Fixes #1246.
GaloisInc · Sep 3, 2024 · 9399334 · 9399334
1 parent 4661e4e
commit 9399334
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/crucible/crucible.cabal b/crucible/crucible.cabal
@@ -65,7 +65,7 @@ library
     transformers,
     unordered-containers,
     vector,
-    what4 >= 0.4
+    what4 >= 1.6.1
 
   default-extensions:
      NondecreasingIndentation

diff --git a/dependencies/what4 b/dependencies/what4