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 --- toytt.opam | 1 - 1 file changed, 1 deletion(-) (limited to 'toytt.opam') 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