From 7ba96e4ab2a79cb57ef87e95cb55f02dca4403e2 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Fri, 1 Jul 2022 14:22:07 +0200
Subject: [PATCH] [Opam] "yojson" { >= "1.6.0" & < "2.0.0" }
---
opam/opam | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/opam/opam b/opam/opam
index a0d18ad0129..d695a2b5199 100644
--- a/opam/opam
+++ b/opam/opam
@@ -126,8 +126,8 @@ depends: [
"ocamlfind" # needed beyond build stage, used by -load-module
"ocamlgraph" { >= "1.8.8" }
"why3" { >= "1.5.0" }
- "yojson" {>= "1.6.0"}
- "zarith" {>= "1.5"}
+ "yojson" { >= "1.6.0" & < "2.0.0" }
+ "zarith" { >= "1.5" }
"ppx_deriving"
"ppx_import"
]
--
GitLab