From 69a4be66dabf260edd7573e2de692f9ae220c7fe Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Mon, 29 Jan 2024 15:58:32 +0100 Subject: [PATCH] [opam] temporarily limit dune upper version - 3.13.0 has a regression that prevent build when test dune file are generated --- opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/opam b/opam index bcd121993c0..a0032544490 100644 --- a/opam +++ b/opam @@ -119,9 +119,9 @@ run-test: [ ] depends: [ - "dune" { >= "3.7.0" } + "dune" { >= "3.7.0" & < "3.13.0" } "dune-configurator" - "dune-site" { >= "3.7.0" } + "dune-site" { >= "3.7.0" & < "3.13.0" } ( "alt-ergo-free" | "alt-ergo" ) "conf-graphviz" { post } -- GitLab