diff --git a/opam b/opam index e97114cfdcc086e1ebf9c2e254436a0cc333e3dc..8d3cff07c9989099d9b2dbfc8dddaa7401a68f4c 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" }