diff --git a/reference-configuration.md b/reference-configuration.md
index a42c129d996338d181509daec2e1e9a241980e1d..b85304514189864476d23ecbdfc24428927afdeb 100644
--- a/reference-configuration.md
+++ b/reference-configuration.md
@@ -3,17 +3,14 @@ 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.5.0
 - dune-configurator.3.5.0
 - dune-site.3.5.0
-- lablgtk3.3.1.2
-- lablgtk3-sourceview3.3.1.2
+- lablgtk3.3.1.3
+- lablgtk3-sourceview3.3.1.3
 - menhir.20211128
-- mlmpfr.4.1.0+bugfix2 (for eva, optional)
-- ocamlfind.1.9.5
+- ocamlfind.1.9.6
 - ocamlgraph.2.0.0
-- ocp-indent.1.8.1 (for linting, optional)
 - ppx_deriving_yaml.0.2.1
 - ppx_deriving_yojson.3.7.0
 - ppx_import.1.10.0