aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
Diffstat (limited to 'dune-project')
-rwxr-xr-xdune-project1
1 files changed, 0 insertions, 1 deletions
diff --git a/dune-project b/dune-project
index ca435e6..11dc9e3 100755
--- a/dune-project
+++ b/dune-project
@@ -15,7 +15,6 @@
(csv (>= 2.4))
(csv-lwt (>= 2.4))
(decoders (>= 1.0.0))
- (ppx_yojson_conv (>= v0.14.0))
(ounit (>= 2.2.6))
(otoml (>= 1.0.1))
(re (>= 1.10.4))