From e391a60294359f7524a918d051190ca80db643ea Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Wed, 31 Jul 2024 10:01:11 +0200
Subject: [PATCH] Update reference-configuration dune version

---
 reference-configuration.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/reference-configuration.md b/reference-configuration.md
index 3facc53b6bf..62e7cf49d32 100644
--- a/reference-configuration.md
+++ b/reference-configuration.md
@@ -3,9 +3,9 @@ compiling Frama-C 29.0.
 
 - OCaml 4.13.1
 - alt-ergo.2.5.3 (for wp, optional)
-- dune.3.7.1
-- dune-configurator.3.7.1
-- dune-site.3.7.1
+- dune.3.13.1
+- dune-configurator.3.13.1
+- dune-site.3.13.1
 - lablgtk3.3.1.3
 - lablgtk3-sourceview3.3.1.3
 - menhir.20211230
-- 
GitLab