From b4d1fe0e5d550622fb28a8fff7ed0dd5fa8f95df Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 2 Sep 2024 13:40:02 +0200
Subject: [PATCH] [doc] reference configuration

---
 reference-configuration.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/reference-configuration.md b/reference-configuration.md
index 399b6cda2e..9f5e1f907c 100644
--- a/reference-configuration.md
+++ b/reference-configuration.md
@@ -2,7 +2,7 @@ The following set of packages is known to be a working configuration for
 compiling Frama-C 30.0.
 
 - OCaml 4.14.2
-- alt-ergo.2.5.3 (for wp, optional)
+- alt-ergo.2.5.4 (for wp, optional)
 - dune.3.13.1
 - dune-configurator.3.13.1
 - dune-site.3.13.1
@@ -14,6 +14,6 @@ compiling Frama-C 30.0.
 - ppx_deriving_yaml.0.2.1
 - ppx_deriving_yojson.3.7.0
 - unionFind.20220122
-- why3.1.7.1
+- why3.1.7.2
 - yojson.2.0.2
 - zarith.1.12
-- 
GitLab