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)) |
