Add lower bounds on qcheck and mdx

Gbury · Jun 17, 2024 · 092fc45 · 092fc45
1 parent c33632d
commit 092fc45
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/dolmen.opam b/dolmen.opam
@@ -16,8 +16,8 @@ depends: [
   "hmap" { >= "0.8.1" }
   "seq"
   "odoc" { with-doc }
-  "qcheck" { with-test }
-  "mdx" { with-test }
+  "qcheck" { with-test & >= "0.20" }
+  "mdx" { with-test & >= "2.0.0" }
 ]
 
 tags: [ "parser" "logic" "tptp" "smtlib" "dimacs" ]

diff --git a/dolmen_loop.opam b/dolmen_loop.opam
@@ -16,7 +16,7 @@ depends: [
   "gen"
   "pp_loc" { >= "2.0.0" }
   "odoc" { with-doc }
-  "mdx" { with-test }
+  "mdx" { with-test & >= "2.0.0" }
 ]
 tags: [ "logic" "computation" "automated theorem prover" ]
 homepage: "https://github.com/Gbury/dolmen"