From b7bd89b75cc142c48288dc0911e7c9c7a3c56fb7 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 9 Jan 2026 16:24:12 -0500
Subject: [PATCH] add trace.v0_10_1 library

this is empty, intended to help migrations based on `select` expressions
in dune files.
---
 src/core/v0.10.1/dune | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 src/core/v0.10.1/dune

diff --git a/src/core/v0.10.1/dune b/src/core/v0.10.1/dune
new file mode 100644
index 0000000..66213eb
--- /dev/null
+++ b/src/core/v0.10.1/dune
@@ -0,0 +1,4 @@
+
+(library
+  (public_name trace.v0_10_1)
+  (name trace_v0_10_1))