diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index 5dcbb81b27da66e5e7a9cffa82e4f123e409acfd..2aab3256ac2305aff99c5083713502e2d50bd60b 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -46,7 +46,6 @@
 , doxygen
 , python3
 , python3Packages
-, yq
 , cover ? true
 , release_mode ? false
 }:
diff --git a/nix/mk_tests.nix b/nix/mk_tests.nix
index 36623cfc4332ff4d737978d5a6781ab82d3b93f0..b490ba6705889070623bbcce816f195c0a8ddc64 100644
--- a/nix/mk_tests.nix
+++ b/nix/mk_tests.nix
@@ -26,6 +26,7 @@
 , stdenvNoCC
 , time
 , unixtools
+, yq
 , which
 , wp-cache
 } :
@@ -50,6 +51,7 @@ stdenvNoCC.mkDerivation {
     perl
     time
     unixtools.getopt
+    yq
     which
   ] ++
   (if has-wp-proofs then [ alt-ergo ] else []);