60| // lib.optionalAttrs pkgs.config.allowAliases {
           61|   agda-input = throw "emacsPackages.agda-input is contained in emacsPackages.agda2-mode, please use that instead."; # Added 2024-07-17
             |                ^
           62|   ess-R-object-popup = throw "emacsPackages.ess-R-object-popup was deleted, since the upstream repo looks abandoned."; # Added 2024-07-15

       error: emacsPackages.agda-input is contained in emacsPackages.agda2-mode, please use that instead.

Cannot nix-instantiate `emacsPackages.passthru.tests` because:
error: attribute 'passthru' in selection path 'emacsPackages.passthru.tests' not found