From e3b4b1ba7c454d6284373cf3a67401e1e6fdc2ad Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 14 Feb 2024 08:57:31 +0000
Subject: [PATCH] [opam] block dune 3.13.0
---
opam | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/opam b/opam
index e97114cfdcc..8d3cff07c99 100644
--- a/opam
+++ b/opam
@@ -119,7 +119,9 @@ run-test: [
]
depends: [
- "dune" { >= "3.7.0" }
+ "dune" { >= "3.7.0"
+ & != "3.13.0" # performance problem
+ }
"dune-configurator"
"dune-site" { >= "3.7.0" }
--
GitLab