diff --git a/dune-project b/dune-project index 6d4e772..e7b51c4 100644 --- a/dune-project +++ b/dune-project @@ -26,6 +26,8 @@ (depends (core (>= 0.16.2)) (core_unix (>= 0.16.0)) + (fmt (>= 0.9.0)) + (logs (>= 0.7.0)) (owl (>= 1.1)) (owl-plplot (>= 1.0)) (string_dict (>= 0.16.0))