dropbox is not compatible with yojson 2.0.0 (uses Yojson.Safe.json explicitly)

kit-ty-kate · kit-ty-kate · commit edaba0a2eaf6 · 2022-08-10T14:09:06.000+01:00
diff --git a/packages/dropbox/dropbox.0.1~772c4a6/opam b/packages/dropbox/dropbox.0.1~772c4a6/opam
@@ -16,7 +16,7 @@ depends: [
   "ssl"
   "cohttp" {< "0.99"}
   "uri"
-  "atdgen"
+  "atdgen" {< "2.10.0"}
   "ocamlbuild" {build}
 ]
 synopsis: "Binding to the Dropbox Remote API"
diff --git a/packages/dropbox/dropbox.0.2/opam b/packages/dropbox/dropbox.0.2/opam
@@ -14,8 +14,8 @@ build: [
 ]
 depends: [
   "dune" {>= "1.1"}
-  "atdgen" {>= "1.5.0"}
-  "yojson" {>= "1.6.0"}
+  "atdgen" {>= "1.5.0" & < "2.10.0"}
+  "yojson" {>= "1.6.0" & < "2.0.0"}
   "base-bytes"
   "base-unix" {with-test}
   "cohttp"

Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ depends: [`
`16`	`16`	`"ssl"`
`17`	`17`	`"cohttp" {< "0.99"}`
`18`	`18`	`"uri"`
`19`		`- "atdgen"`
	`19`	`+ "atdgen" {< "2.10.0"}`
`20`	`20`	`"ocamlbuild" {build}`
`21`	`21`	`]`
`22`	`22`	`synopsis: "Binding to the Dropbox Remote API"`