about summary refs log tree commit diff
path: root/dune-project
diff options
context:
space:
mode:
authorMalte Voos <git@mal.tc>2024-06-30 21:35:18 +0200
committerMalte Voos <git@mal.tc>2024-06-30 21:35:18 +0200
commit57de10d8728f51942f676b68f1f3ea29d9b78e6e (patch)
tree92f02552af0f68c7501b5ce3388b9a965ebe30ac /dune-project
parent1b6fc912bfad5a2b0e047835f6778137e4aabe5b (diff)
downloadtoytt-57de10d8728f51942f676b68f1f3ea29d9b78e6e.tar.gz
toytt-57de10d8728f51942f676b68f1f3ea29d9b78e6e.zip
remove useless dependency
Diffstat (limited to 'dune-project')
-rw-r--r--dune-project1
1 files changed, 0 insertions, 1 deletions
diff --git a/dune-project b/dune-project
index f3993f2..1e44e5d 100644
--- a/dune-project
+++ b/dune-project
@@ -19,7 +19,6 @@
   ocaml
   dune
   menhir
-  ppx_deriving
   algaeff
   asai
   bwd