From 336611c7a155755899e71946ba60ec81b943a9e2 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Sun, 3 Dec 2023 12:10:33 +0100
Subject: [PATCH] fix coq-of-ocaml.1.1.1

---
 released/packages/coq-of-ocaml/coq-of-ocaml.1.1.1/opam | 2 +-
 1 file changed, 1 insertion(+), 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
index ac629bedb4..8cef81a387 100644
--- 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"