diff options
author | Alban Gruin | 2020-10-03 11:14:18 +0200 |
---|---|---|
committer | Alban Gruin | 2020-10-03 11:14:18 +0200 |
commit | d036a80e83789485235375078f7df972f20286a2 (patch) | |
tree | 1ffd96679ed10a7971251ddf75bb49450f8d3f91 | |
parent | 45454dcb16567dd5bc58e90fcca41a05013b7ab6 (diff) |
Replace ocplib-json-typed by json-data-encoding
ocplib-json-typed was superseeded by json-data-encoding. This replaces
the former with the latter.
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
-rw-r--r-- | src/dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ cmdliner cohttp-lwt-unix ezjsonm + json-data-encoding lwt.unix - ocplib-json-typed re stringext)) |