diff --git a/flake.nix b/flake.nix index 896e8e3f7..80104a24d 100644 --- a/flake.nix +++ b/flake.nix @@ -42,7 +42,6 @@ }; }); - inherit (pkgs) nixpkgs-fmt shfmt; @@ -99,8 +98,6 @@ devShells.ci = wrapShell pkgs.mkShell { packages = core; }; devShells.ci-cbmc = wrapShell pkgs.mkShell { packages = (core ++ cbmcpkg); }; devShells.ci-linter = wrapShell pkgs.mkShellNoCC { packages = linters; }; - - }; flake = { # The usual flake attributes can be defined here, including system-