From edee3c5b027b97e3f5c4883c572567c129a10cea Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Wed, 8 Nov 2023 11:02:11 +0100
Subject: [PATCH] Force dune-site version to 3.7.0
---
opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam b/opam
index e47d9c2b16f..9e3bf5c280b 100644
--- a/opam
+++ b/opam
@@ -121,7 +121,7 @@ run-test: [
depends: [
"dune" { >= "3.7.0" }
"dune-configurator"
- "dune-site"
+ "dune-site" { >= "3.7.0" }
( "alt-ergo-free" | "alt-ergo" )
"conf-graphviz" { post }
--
GitLab