about summary refs log tree commit diff
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
parent1b6fc912bfad5a2b0e047835f6778137e4aabe5b (diff)
downloadtoytt-57de10d8728f51942f676b68f1f3ea29d9b78e6e.tar.gz
toytt-57de10d8728f51942f676b68f1f3ea29d9b78e6e.zip
remove useless dependency
-rw-r--r--dune-project1
-rw-r--r--toytt.opam1
2 files changed, 0 insertions, 2 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
diff --git a/toytt.opam b/toytt.opam
index ed17cae..adaed24 100644
--- a/toytt.opam
+++ b/toytt.opam
@@ -13,7 +13,6 @@ depends: [
   "ocaml"
   "dune" {>= "3.13"}
   "menhir"
-  "ppx_deriving"
   "algaeff"
   "asai"
   "bwd"