diff --git a/reference-configuration.md b/reference-configuration.md
index 399b6cda2e0035bdf584148b50c9a7541acc12b8..9f5e1f907c396ac8d90592f4ff704acb54c4fde1 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