agda-pkg 0 -> 1 attrpath: agda-pkg Received ExitFailure 1 when running Raw command: /nix/store/3nqhcyc7vid1npgcd0m7arg5sn325nhz-nix-2.12.0/bin/nix eval -f . "(let pkgs = import ./. {}; in builtins.hasAttr \"updateScript\" pkgs.agda-pkg)" Standard error: error: attribute '(let pkgs = import ' in selection path '(let pkgs = import ./. {}; in builtins.hasAttr "updateScript" pkgs.agda-pkg)' not found