From 0bc6c7e25931eed6edfa58cdbdd55a987ee41726 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 5 Dec 2024 15:04:26 +0100
Subject: [PATCH] [release] update reference config

---
 reference-configuration.md | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/reference-configuration.md b/reference-configuration.md
index 399b6cda2e..457ba0d658 100644
--- a/reference-configuration.md
+++ b/reference-configuration.md
@@ -3,17 +3,17 @@ compiling Frama-C 30.0.
 
 - OCaml 4.14.2
 - alt-ergo.2.5.3 (for wp, optional)
-- 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
+- dune.3.16.1
+- dune-configurator.3.16.1
+- dune-site.3.16.1
+- lablgtk3.3.1.5
+- lablgtk3-sourceview3.3.1.5
+- menhir.20240715
 - ocamlfind.1.9.6
 - ocamlgraph.2.1.0
-- ppx_deriving_yaml.0.2.1
-- ppx_deriving_yojson.3.7.0
+- ppx_deriving_yaml.0.3.0
+- ppx_deriving_yojson.3.9.0
 - unionFind.20220122
 - why3.1.7.1
-- yojson.2.0.2
-- zarith.1.12
+- yojson.2.2.2
+- zarith.1.14
-- 
GitLab