From 7bfbb67d83011f3e1845dcb9e44c3b6a5e93a9da Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sun, 16 Mar 2025 10:45:12 +0100 Subject: Switched to implicit_transivive_deps to false --- dune-project | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune-project b/dune-project index 3ba9568..592ff77 100755 --- a/dune-project +++ b/dune-project @@ -2,7 +2,7 @@ (using menhir 2.0) (generate_opam_files true) -(implicit_transitive_deps true) +(implicit_transitive_deps false) (authors "Sébastien Dailly") (maintainers "Sébastien Dailly") -- cgit v1.2.3