nixpkgs/pkgs/desktops/xfce4-13/xfce4-pulseaudio-plugin
..
default.nix