about summary refs log tree commit diff
path: root/toytt.opam
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 /toytt.opam
parent1b6fc912bfad5a2b0e047835f6778137e4aabe5b (diff)
downloadtoytt-57de10d8728f51942f676b68f1f3ea29d9b78e6e.tar.gz
toytt-57de10d8728f51942f676b68f1f3ea29d9b78e6e.zip
remove useless dependency
Diffstat (limited to 'toytt.opam')
-rw-r--r--toytt.opam1
1 files changed, 0 insertions, 1 deletions
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"