diff --git a/nix/frama-c-checkers-shell.nix b/nix/frama-c-checkers-shell.nix index 40a0406a77685de48266658d19caeb00488df77f..c552a3c4e64adb91f260ef2b2831a77bbf3a86d6 100644 --- a/nix/frama-c-checkers-shell.nix +++ b/nix/frama-c-checkers-shell.nix @@ -1,5 +1,6 @@ { lib , stdenv +, black , clang_10 , frama-c-hdrck , frama-c-lint @@ -12,6 +13,7 @@ stdenv.mkDerivation rec { name = "frama-c-checkers-shell"; buildInputs = [ + black clang_10 frama-c-hdrck frama-c-lint