From 1648d19edda3b90b5ab813aaf9412b343cc7308d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= <basile.clement@ocamlpro.com>
Date: Tue, 24 Sep 2024 13:46:41 +0200
Subject: [PATCH] qcheck version

---
 packages/alt-ergo-lib/alt-ergo-lib.2.6.0/opam | 2 +-
 1 file changed, 1 insertion(+), 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
index 9ee32cda575e..9b542395e837 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"}