Previously when overriding idrisPackages, it wouldn't work properly because it took idrisPackages from the pkgs set