Merge pull request #1247 from GaloisInc/T1246-what4-1.6.1

Require `what4-1.6.1`, `llvm-pretty-0.12.1` in `.cabal` files
GaloisInc · Sep 3, 2024 · 8021814 · 8021814
2 parents 5c92113 + 5aa3038
commit 8021814
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/crucible-llvm/crucible-llvm.cabal b/crucible-llvm/crucible-llvm.cabal
@@ -44,7 +44,7 @@ library
     extra,
     lens,
     itanium-abi >= 0.1.1.1 && < 0.2,
-    llvm-pretty >= 0.12 && < 0.13,
+    llvm-pretty >= 0.12.1 && < 0.13,
     mtl,
     parameterized-utils >= 2.1.5 && < 2.2,
     pretty,

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/llvm-pretty b/dependencies/llvm-pretty
diff --git a/dependencies/what4 b/dependencies/what4