Merge pull request #28155 from jmid/upper-bound-qcheck-in-goblint

Upper bound qcheck-core in goblint 2.2.1-2.5.0

Author: mseri

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"}

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"}

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"}

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"}

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"}

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"}

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"}