diff options
| author | Alasdair | 2020-05-14 09:24:09 +0100 |
|---|---|---|
| committer | Alasdair | 2020-05-14 09:24:09 +0100 |
| commit | 0c4c75d13aad176fc664e159d2b0c48c77b41d27 (patch) | |
| tree | 65fdabaa3759da129a499bd8a87ab7163c771e89 /opam | |
| parent | b8f9e2a078035cc8e797b1c7c0609f6a0c031a2c (diff) | |
Various bugfixes and improvements for updated codegen
Diffstat (limited to 'opam')
| -rw-r--r-- | opam | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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"] |
