qcheck version

tjammer · Sep 24, 2024 · 1648d19 · 1648d19
1 parent 30afd8b
commit 1648d19
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.6.0/opam b/packages/alt-ergo-lib/alt-ergo-lib.2.6.0/opam
@@ -28,7 +28,7 @@ depends: [
   "camlzip" {>= "1.07"}
   "odoc" {with-doc}
   "ppx_deriving"
-  "qcheck" {with-test}
+  "qcheck" {with-test & = "0.22"}
 ]
 conflicts: [
   "ppxlib" {< "0.30.0"}