about summary refs log tree commit diff
diff options
context:
space:
mode:
-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"