Impose lower version bounds on config-schema

Fixes #852.
GaloisInc · Sep 20, 2021 · 6310b9c · 6310b9c
1 parent 0498a53
commit 6310b9c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/crux-llvm/crux-llvm.cabal b/crux-llvm/crux-llvm.cabal
@@ -89,7 +89,7 @@ library
   build-depends:
     aeson,
     bv-sized,
-    config-schema,
+    config-schema >= 1.2.2.0,
     data-binary-ieee754,
     logict,
     llvm-pretty,

diff --git a/crux/crux.cabal b/crux/crux.cabal
@@ -54,7 +54,7 @@ library
     raw-strings-qq,
     simple-get-opt,
     config-value,
-    config-schema,
+    config-schema >= 1.2.2.0,
     semigroupoids,
     unordered-containers,
     xml,