Remove unused arguments from perSystem

flake.nix

@@ -9,7 +9,7 @@
   outputs = inputs@{ flake-parts, ... }:
     flake-parts.lib.mkFlake { inherit inputs; } {
       systems = [ "x86_64-linux" "aarch64-linux" "aarch64-darwin" "x86_64-darwin" ];
-      perSystem = { config, self', inputs', pkgs, system, ... }: {
+      perSystem = { pkgs, ... }: {
         packages.default = pkgs.writeShellScriptBin "dafny-test-all" ''
             for f in *.dfy
             do