diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index 5ad5c381a4e2ce4d3ad73a893d55db4fe763dada..7735938df649b77d44ff0b6204b9fc54b471c2e0 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -42,8 +42,10 @@
 , zmq
 # Frama-C tests
 , alt-ergo
+, check-jsonschema
 , dos2unix
 , doxygen
+, jq
 , perl
 , pkgs
 , python3
@@ -104,11 +106,14 @@ stdenvNoCC.mkDerivation rec {
     zmq
     # Tests
     alt-ergo
+    check-jsonschema
     dos2unix
     doxygen
+    jq
     perl
     pkgs.getopt
     python3
+    python3Packages.jsonschema
     python3Packages.pyaml
     yq
     swiProlog