diff --git a/packages/goblint/goblint.2.0.0/opam b/packages/goblint/goblint.2.0.0/opam
index 2ddb3699109..14c63895776 100644
--- a/packages/goblint/goblint.2.0.0/opam
+++ b/packages/goblint/goblint.2.0.0/opam
@@ -25,7 +25,7 @@ depends: [
   "batteries" {>= "3.4.0"}
   "zarith" {>= "1.8"}
   "yojson" {>= "2.0.0" & < "3"}
-  "qcheck-core"
+  "qcheck-core" {>= "0.19" & < "0.26"}
   "ppx_deriving"
   "ppx_deriving_hash"
   "ppx_deriving_yojson" {>= "3.7.0"}
diff --git a/packages/goblint/goblint.2.0.1/opam b/packages/goblint/goblint.2.0.1/opam
index cfd257c481b..88b56a4a049 100644
--- a/packages/goblint/goblint.2.0.1/opam
+++ b/packages/goblint/goblint.2.0.1/opam
@@ -25,7 +25,7 @@ depends: [
   "batteries" {>= "3.4.0"}
   "zarith" {>= "1.8"}
   "yojson" {>= "2.0.0" & < "3"}
-  "qcheck-core"
+  "qcheck-core" {>= "0.19" & < "0.26"}
   "ppx_deriving"
   "ppx_deriving_hash"
   "ppx_deriving_yojson" {>= "3.7.0"}
diff --git a/packages/goblint/goblint.2.1.0/opam b/packages/goblint/goblint.2.1.0/opam
index d108ba32817..c0a3fb16a4d 100644
--- a/packages/goblint/goblint.2.1.0/opam
+++ b/packages/goblint/goblint.2.1.0/opam
@@ -25,7 +25,7 @@ depends: [
   "batteries" {>= "3.4.0"}
   "zarith" {>= "1.8"}
   "yojson" {>= "2.0.0" & < "3"}
-  "qcheck-core"
+  "qcheck-core" {>= "0.19" & < "0.26"}
   "ppx_deriving"
   "ppx_deriving_hash"
   "ppx_deriving_yojson" {>= "3.7.0"}
diff --git a/packages/goblint/goblint.2.2.1/opam b/packages/goblint/goblint.2.2.1/opam
index aed34210387..35e407fa710 100644
--- a/packages/goblint/goblint.2.2.1/opam
+++ b/packages/goblint/goblint.2.2.1/opam
@@ -24,7 +24,7 @@ depends: [
   "batteries" {>= "3.5.0"}
   "zarith" {>= "1.8"}
   "yojson" {>= "2.0.0" < "3"}
-  "qcheck-core" {>= "0.19"}
+  "qcheck-core" {>= "0.19" & < "0.26"}
   "ppx_deriving"
   "ppx_deriving_hash"
   "ppx_deriving_yojson" {>= "3.7.0"}
diff --git a/packages/goblint/goblint.2.3.0/opam b/packages/goblint/goblint.2.3.0/opam
index 908a09145cc..474ada65011 100644
--- a/packages/goblint/goblint.2.3.0/opam
+++ b/packages/goblint/goblint.2.3.0/opam
@@ -24,7 +24,7 @@ depends: [
   "batteries" {>= "3.5.0"}
   "zarith" {>= "1.8"}
   "yojson" {>= "2.0.0" & < "3"}
-  "qcheck-core" {>= "0.19"}
+  "qcheck-core" {>= "0.19" & < "0.26"}
   "ppx_deriving"
   "ppx_deriving_hash"
   "ppx_deriving_yojson" {>= "3.7.0"}
diff --git a/packages/goblint/goblint.2.4.0/opam b/packages/goblint/goblint.2.4.0/opam
index bf97bad36be..056f25a927c 100644
--- a/packages/goblint/goblint.2.4.0/opam
+++ b/packages/goblint/goblint.2.4.0/opam
@@ -40,7 +40,7 @@ depends: [
   "batteries" {>= "3.5.1"}
   "zarith" {>= "1.10"}
   "yojson" {>= "2.0.0" & < "3"}
-  "qcheck-core" {>= "0.19"}
+  "qcheck-core" {>= "0.19" & < "0.26"}
   "ppx_deriving" {>= "6.0.2"}
   "ppx_deriving_hash" {>= "0.1.2"}
   "ppx_deriving_yojson" {>= "3.7.0"}
diff --git a/packages/goblint/goblint.2.5.0/opam b/packages/goblint/goblint.2.5.0/opam
index ac0bc45d62c..73d11ee9d28 100644
--- a/packages/goblint/goblint.2.5.0/opam
+++ b/packages/goblint/goblint.2.5.0/opam
@@ -40,7 +40,7 @@ depends: [
   "batteries" {>= "3.5.1"}
   "zarith" {>= "1.10"}
   "yojson" {>= "2.0.0" & < "3"}
-  "qcheck-core" {>= "0.19"}
+  "qcheck-core" {>= "0.19" & < "0.26"}
   "ppx_deriving" {>= "6.0.2"}
   "ppx_deriving_hash" {>= "0.1.2"}
   "ppx_deriving_yojson" {>= "3.7.0"}