aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlban Gruin2020-10-03 11:14:18 +0200
committerAlban Gruin2020-10-03 11:14:18 +0200
commitd036a80e83789485235375078f7df972f20286a2 (patch)
tree1ffd96679ed10a7971251ddf75bb49450f8d3f91
parent45454dcb16567dd5bc58e90fcca41a05013b7ab6 (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/dune2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dune b/src/dune
index b5b0a8c..14060f1 100644
--- a/src/dune
+++ b/src/dune
@@ -5,7 +5,7 @@
cmdliner
cohttp-lwt-unix
ezjsonm
+ json-data-encoding
lwt.unix
- ocplib-json-typed
re
stringext))