nixpkgs/pkgs/desktops/xfce4-14/xfce4-whiskermenu-plugin
2019-07-13 08:42:05 -03:00
..
default.nix xfce4-13: rename to xfce4-14 2019-07-13 08:42:05 -03:00