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))