summaryrefslogtreecommitdiff
path: root/opam
diff options
context:
space:
mode:
Diffstat (limited to 'opam')
-rw-r--r--opam2
1 files changed, 1 insertions, 1 deletions
diff --git a/opam b/opam
index 8f9310ea..52e4332e 100644
--- a/opam
+++ b/opam
@@ -36,7 +36,7 @@ depends: [
"conf-gmp"
"conf-zlib"
"base64" {< "3.0.0"}
- "yojson"
+ "yojson" {>= "1.7.0"}
"pprint"
]
available: [ocaml-version >= "4.06.1"]