Merge pull request #2852 from palmskog/fix-of-ocaml-1.1.1

fix coq-of-ocaml.1.1.1
coq · Dec 3, 2023 · 0dbed48 · 0dbed48
2 parents b8aa2a8 + 336611c
commit 0dbed48
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/released/packages/coq-of-ocaml/coq-of-ocaml.1.1.1/opam b/released/packages/coq-of-ocaml/coq-of-ocaml.1.1.1/opam
@@ -17,7 +17,7 @@ depends: [
   "ocaml" {>= "4.02.0" & < "4.03.0"}
   "ocamlbuild" {build}
   "smart-print"
-  "yojson"
+  "yojson" {< "2.0.0"}
 ]
 tags: [
   "date:2019-05-09"