diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index e24625d7c510383a88c556da57c1a6c6c50078ac..aa1ac64409e8b8a22e4b2629e12f0b6568856d11 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -16,6 +16,7 @@
 , dune_3
 , dune-configurator
 , dune-site
+, fpath
 , gcc9
 , graphviz
 , lablgtk3
@@ -29,11 +30,13 @@
 , ocamlgraph_gtk
 , ocp-indent
 , ppx_deriving
+, ppx_deriving_yaml
 , ppx_deriving_yojson
 , ppx_import
 , yojson
 , which
 , why3
+, yaml
 , zarith
 , zmq
 # Frama-C extra (other targets do not reconfigure)
@@ -71,6 +74,7 @@ stdenvNoCC.mkDerivation rec {
     dune-configurator
     dune-site
     findlib
+    fpath
     gcc9
     graphviz
     lablgtk3
@@ -84,11 +88,13 @@ stdenvNoCC.mkDerivation rec {
     ocamlgraph_gtk
     ocp-indent
     ppx_deriving
+    ppx_deriving_yaml
     ppx_deriving_yojson
     ppx_import
     yojson
     which
     why3
+    yaml
     zarith
     zmq
     # For other CI targets