summaryrefslogtreecommitdiff
path: root/opam
diff options
context:
space:
mode:
authorAlasdair2020-05-14 09:24:09 +0100
committerAlasdair2020-05-14 09:24:09 +0100
commit0c4c75d13aad176fc664e159d2b0c48c77b41d27 (patch)
tree65fdabaa3759da129a499bd8a87ab7163c771e89 /opam
parentb8f9e2a078035cc8e797b1c7c0609f6a0c031a2c (diff)
Various bugfixes and improvements for updated codegen
Diffstat (limited to 'opam')
-rw-r--r--opam2
1 files changed, 1 insertions, 1 deletions
diff --git a/opam b/opam
index 52e4332e..6fb7e956 100644
--- a/opam
+++ b/opam
@@ -36,7 +36,7 @@ depends: [
"conf-gmp"
"conf-zlib"
"base64" {< "3.0.0"}
- "yojson" {>= "1.7.0"}
+ "yojson" {<= "1.7.0"}
"pprint"
]
available: [ocaml-version >= "4.06.1"]