Mark kind2 as incompatible with Yojson 3

Leonidas-from-XIV · Leonidas-from-XIV · commit ade4b0fd76b8 · 2025-06-02T11:15:18.000+02:00
diff --git a/packages/kind2/kind2.1.3.0/opam b/packages/kind2/kind2.1.3.0/opam
@@ -18,7 +18,7 @@ depends: [
   "odoc" {with-doc}
   "ounit2" {with-test}
   "z3" {< "4.8.9" & with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0" & < "5.1.4"}
 ]
 build: [
diff --git a/packages/kind2/kind2.1.3.1/opam b/packages/kind2/kind2.1.3.1/opam
@@ -18,7 +18,7 @@ depends: [
   "odoc" {with-doc}
   "ounit2" {with-test}
   "z3" {< "4.8.9" & with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0" & < "5.1.4"}
 ]
 build: [
diff --git a/packages/kind2/kind2.1.4.0/opam b/packages/kind2/kind2.1.4.0/opam
@@ -23,7 +23,7 @@ depends: [
   "odoc" {with-doc}
   "ounit2" {with-test}
   "z3" {< "4.8.9" & with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0" & < "5.1.4"}
 ]
 build: [
diff --git a/packages/kind2/kind2.1.5.0/opam b/packages/kind2/kind2.1.5.0/opam
@@ -22,7 +22,7 @@ depends: [
   "num"
   "odoc" {with-doc}
   "ounit2" {with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0" & < "5.1.4"}
 ]
 build: [
diff --git a/packages/kind2/kind2.1.5.1/opam b/packages/kind2/kind2.1.5.1/opam
@@ -22,7 +22,7 @@ depends: [
   "num"
   "odoc" {with-doc}
   "ounit2" {with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0"}
 ]
 build: [
diff --git a/packages/kind2/kind2.1.6.0/opam b/packages/kind2/kind2.1.6.0/opam
@@ -22,7 +22,7 @@ depends: [
   "num"
   "odoc" {with-doc}
   "ounit2" {with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0"}
 ]
 build: [
diff --git a/packages/kind2/kind2.1.7.0/opam b/packages/kind2/kind2.1.7.0/opam
@@ -22,7 +22,7 @@ depends: [
   "num"
   "odoc" {with-doc}
   "ounit2" {with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0"}
 ]
 build: [
diff --git a/packages/kind2/kind2.1.8.0/opam b/packages/kind2/kind2.1.8.0/opam
@@ -22,7 +22,7 @@ depends: [
   "num"
   "odoc" {with-doc}
   "ounit2" {with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0"}
 ]
 build: [
diff --git a/packages/kind2/kind2.1.9.0/opam b/packages/kind2/kind2.1.9.0/opam
@@ -22,7 +22,7 @@ depends: [
   "num"
   "odoc" {with-doc}
   "ounit2" {with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0"}
 ]
 build: [
diff --git a/packages/kind2/kind2.2.0.0/opam b/packages/kind2/kind2.2.0.0/opam
@@ -22,7 +22,7 @@ depends: [
   "num"
   "odoc" {with-doc}
   "ounit2" {with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0"}
 ]
 build: [
diff --git a/packages/kind2/kind2.2.1.0/opam b/packages/kind2/kind2.2.1.0/opam
@@ -22,7 +22,7 @@ depends: [
   "num"
   "odoc" {with-doc}
   "ounit2" {with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0"}
 ]
 build: [
diff --git a/packages/kind2/kind2.2.1.1/opam b/packages/kind2/kind2.2.1.1/opam
@@ -22,7 +22,7 @@ depends: [
   "num"
   "odoc" {with-doc}
   "ounit2" {with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0"}
 ]
 build: [
diff --git a/packages/kind2/kind2.2.2.0/opam b/packages/kind2/kind2.2.2.0/opam
@@ -22,7 +22,7 @@ depends: [
   "num"
   "odoc" {with-doc}
   "ounit2" {with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0"}
 ]
 build: [
diff --git a/packages/kind2/kind2.2.3.0/opam b/packages/kind2/kind2.2.3.0/opam
@@ -22,7 +22,7 @@ depends: [
   "num"
   "odoc" {with-doc}
   "ounit2" {with-test}
-  "yojson"
+  "yojson" {< "3"}
   "zmq" {>= "5.1.0"}
 ]
 build: [

Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,7 @@ depends: [`
`18`	`18`	`"odoc" {with-doc}`
`19`	`19`	`"ounit2" {with-test}`
`20`	`20`	`"z3" {< "4.8.9" & with-test}`
`21`		`- "yojson"`
	`21`	`+ "yojson" {< "3"}`
`22`	`22`	`"zmq" {>= "5.1.0" & < "5.1.4"}`
`23`	`23`	`]`
`24`	`24`	`build: [`
Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ depends: [`
`23`	`23`	`"odoc" {with-doc}`
`24`	`24`	`"ounit2" {with-test}`
`25`	`25`	`"z3" {< "4.8.9" & with-test}`
`26`		`- "yojson"`
	`26`	`+ "yojson" {< "3"}`
`27`	`27`	`"zmq" {>= "5.1.0" & < "5.1.4"}`
`28`	`28`	`]`
`29`	`29`	`build: [`
Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ depends: [`
`22`	`22`	`"num"`
`23`	`23`	`"odoc" {with-doc}`
`24`	`24`	`"ounit2" {with-test}`
`25`		`- "yojson"`
	`25`	`+ "yojson" {< "3"}`
`26`	`26`	`"zmq" {>= "5.1.0" & < "5.1.4"}`
`27`	`27`	`]`
`28`	`28`	`build: [`