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 index 9ee32cda575..9b542395e83 100644 --- 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"}