nixpkgs/pkgs/desktops/gnome-3/extensions/arcmenu
dkabot e1fc0f5e38 gnomeExtensions.arc-menu: rename to gnomeExtensions.arcmenu
The upstream has been changed to a different repository with this name.
2021-02-14 07:57:05 -05:00
..
default.nix
fix_gmenu.patch