From 57de10d8728f51942f676b68f1f3ea29d9b78e6e Mon Sep 17 00:00:00 2001 From: Malte Voos Date: Sun, 30 Jun 2024 21:35:18 +0200 Subject: remove useless dependency --- dune-project | 1 - toytt.opam | 1 - 2 files changed, 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" -- cgit 1.4.1