elpi is not compatible with Yojson 2.0.0 (used by atd* >= 2.10.0)

kit-ty-kate · kit-ty-kate · commit 61e40e1560a9 · 2022-08-10T13:58:20.000+01:00
diff --git a/packages/elpi/elpi.1.16.1/opam b/packages/elpi/elpi.1.16.1/opam
@@ -25,8 +25,8 @@ depends: [
   "cmdliner" {with-test}
   "dune" {>= "2.8.0"}
   "conf-time" {with-test}
-  "atdgen" {>= "2.9.1"}
-  "atdts" {>= "2.9.1"}
+  "atdgen" {>= "2.9.1" & < "2.10.0"}
+  "atdts" {>= "2.9.1" & < "2.10.0"}
 ]
 depopts: [
   "elpi-option-legacy-parser"
diff --git a/packages/elpi/elpi.1.16.3/opam b/packages/elpi/elpi.1.16.3/opam
@@ -25,8 +25,8 @@ depends: [
   "cmdliner" {with-test}
   "dune" {>= "2.8.0"}
   "conf-time" {with-test}
-  "atdgen" {>= "2.9.1"}
-  "atdts" {>= "2.9.1"}
+  "atdgen" {>= "2.9.1" & < "2.10.0"}
+  "atdts" {>= "2.9.1" & < "2.10.0"}
 ]
 depopts: [
   "elpi-option-legacy-parser"
diff --git a/packages/elpi/elpi.1.16.4/opam b/packages/elpi/elpi.1.16.4/opam
@@ -25,8 +25,8 @@ depends: [
   "cmdliner" {with-test}
   "dune" {>= "2.8.0"}
   "conf-time" {with-test}
-  "atdgen" {>= "2.9.1"}
-  "atdts" {>= "2.9.1"}
+  "atdgen" {>= "2.9.1" & < "2.10.0"}
+  "atdts" {>= "2.9.1" & < "2.10.0"}
 ]
 depopts: [
   "elpi-option-legacy-parser"
diff --git a/packages/elpi/elpi.1.16.5/opam b/packages/elpi/elpi.1.16.5/opam
@@ -25,8 +25,8 @@ depends: [
   "cmdliner" {with-test}
   "dune" {>= "2.8.0"}
   "conf-time" {with-test}
-  "atdgen" {>= "2.9.1"}
-  "atdts" {>= "2.9.1"}
+  "atdgen" {>= "2.9.1" & < "2.10.0"}
+  "atdts" {>= "2.9.1" & < "2.10.0"}
 ]
 depopts: [
   "elpi-option-legacy-parser"
