Force 3.15.0 due to bugs

AoECenter · Apr 18, 2024 · 7ac51b6 · 7ac51b6
1 parent bbe9e3a
commit 7ac51b6
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/dune-project b/dune-project
@@ -42,5 +42,6 @@
     (>= 0.26.1)))
   (base
    (>= v0.12.0))
-  dune
+  (dune
+    (>= 3.15.0))
   dune-build-info))