diff --git a/reference-configuration.md b/reference-configuration.md
index 37e05fd560a14445ac2d844221436547f69d2e84..fdd8a9c5f041ac331816d4ac864d63acdeaa9db1 100644
--- a/reference-configuration.md
+++ b/reference-configuration.md
@@ -4,13 +4,16 @@ compiling Frama-C+dev.
 - OCaml 4.13.1
 - alt-ergo-free.2.2.0 (for wp, optional)
 - apron.v0.9.13 (for eva, optional)
-- dune.3.4.1
-- dune-site.3.4.1
+- dune.3.5.0
+- dune-configurator.3.5.0
+- dune-site.3.5.0
 - lablgtk3.3.1.2
 - lablgtk3-sourceview3.3.1.2
+- menhir.20211128
 - mlmpfr.4.1.0+bugfix2 (for eva, optional)
 - ocamlfind.1.9.5
 - ocamlgraph.2.0.0
+- ocp-indent.1.8.1 (for linting, optional)
 - ppx_deriving_yojson.3.7.0
 - ppx_import.1.10.0
 - why3.1.6.0