From 7092217158dc4527230d2518b681715f04b23b76 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 9 Apr 2025 09:27:46 -0400 Subject: [PATCH] chore: depopt in opam --- dune-project | 1 + trace.opam | 1 + 2 files changed, 2 insertions(+) diff --git a/dune-project b/dune-project index 3ed2c1b..3e8fcbf 100644 --- a/dune-project +++ b/dune-project @@ -27,6 +27,7 @@ dune) (depopts hmap + unix (mtime (>= 2.0))) (tags diff --git a/trace.opam b/trace.opam index 446cdb4..83bc324 100644 --- a/trace.opam +++ b/trace.opam @@ -16,6 +16,7 @@ depends: [ ] depopts: [ "hmap" + "unix" "mtime" {>= "2.0"} ] build: [