From 34429ea69f842cfbb997d91101b3902973050d4e Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 17 Dec 2025 11:14:17 -0500
Subject: [PATCH] implicit trans deps=false

---
 dune-project | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dune-project b/dune-project
index aaf19572..3bd0efec 100644
--- a/dune-project
+++ b/dune-project
@@ -9,6 +9,8 @@
 
 (version 0.12)
 
+(implicit_transitive_deps false)
+
 (authors "the Imandra team and contributors")
 
 (maintainers