Mark goblint as incompatible with Yojson 3

Leonidas-from-XIV · Leonidas-from-XIV · commit 2b336492db5a · 2025-06-02T11:15:18.000+02:00
diff --git a/packages/goblint/goblint.2.0.0/opam b/packages/goblint/goblint.2.0.0/opam
@@ -24,7 +24,7 @@ depends: [
   "goblint-cil" {>= "2.0.0" & < "2.0.2"}
   "batteries" {>= "3.4.0"}
   "zarith" {>= "1.8"}
-  "yojson" {>= "2.0.0"}
+  "yojson" {>= "2.0.0" & < "3"}
   "qcheck-core"
   "ppx_deriving"
   "ppx_deriving_hash"
diff --git a/packages/goblint/goblint.2.0.1/opam b/packages/goblint/goblint.2.0.1/opam
@@ -24,7 +24,7 @@ depends: [
   "goblint-cil" {>= "2.0.0" & < "2.0.2"}
   "batteries" {>= "3.4.0"}
   "zarith" {>= "1.8"}
-  "yojson" {>= "2.0.0"}
+  "yojson" {>= "2.0.0" & < "3"}
   "qcheck-core"
   "ppx_deriving"
   "ppx_deriving_hash"
diff --git a/packages/goblint/goblint.2.1.0/opam b/packages/goblint/goblint.2.1.0/opam
@@ -24,7 +24,7 @@ depends: [
   "goblint-cil" {>= "2.0.1" & < "2.0.2"}
   "batteries" {>= "3.4.0"}
   "zarith" {>= "1.8"}
-  "yojson" {>= "2.0.0"}
+  "yojson" {>= "2.0.0" & < "3"}
   "qcheck-core"
   "ppx_deriving"
   "ppx_deriving_hash"
diff --git a/packages/goblint/goblint.2.2.1/opam b/packages/goblint/goblint.2.2.1/opam
@@ -23,7 +23,7 @@ depends: [
   "goblint-cil" {>= "2.0.2" & < "2.0.4"}
   "batteries" {>= "3.5.0"}
   "zarith" {>= "1.8"}
-  "yojson" {>= "2.0.0"}
+  "yojson" {>= "2.0.0" < "3"}
   "qcheck-core" {>= "0.19"}
   "ppx_deriving"
   "ppx_deriving_hash"
diff --git a/packages/goblint/goblint.2.3.0/opam b/packages/goblint/goblint.2.3.0/opam
@@ -23,7 +23,7 @@ depends: [
   "goblint-cil" {>= "2.0.3" & < "2.0.4"}
   "batteries" {>= "3.5.0"}
   "zarith" {>= "1.8"}
-  "yojson" {>= "2.0.0"}
+  "yojson" {>= "2.0.0" & < "3"}
   "qcheck-core" {>= "0.19"}
   "ppx_deriving"
   "ppx_deriving_hash"
diff --git a/packages/goblint/goblint.2.4.0/opam b/packages/goblint/goblint.2.4.0/opam
@@ -39,7 +39,7 @@ depends: [
   "goblint-cil" {>= "2.0.4" & < "2.0.5"}
   "batteries" {>= "3.5.1"}
   "zarith" {>= "1.10"}
-  "yojson" {>= "2.0.0"}
+  "yojson" {>= "2.0.0" & < "3"}
   "qcheck-core" {>= "0.19"}
   "ppx_deriving" {>= "6.0.2"}
   "ppx_deriving_hash" {>= "0.1.2"}
diff --git a/packages/goblint/goblint.2.5.0/opam b/packages/goblint/goblint.2.5.0/opam
@@ -39,7 +39,7 @@ depends: [
   "goblint-cil" {>= "2.0.5"}
   "batteries" {>= "3.5.1"}
   "zarith" {>= "1.10"}
-  "yojson" {>= "2.0.0"}
+  "yojson" {>= "2.0.0" & < "3"}
   "qcheck-core" {>= "0.19"}
   "ppx_deriving" {>= "6.0.2"}
   "ppx_deriving_hash" {>= "0.1.2"}
