nixpkgs/pkgs/desktops/gnome-3/core/gnome-shell
2018-07-31 23:01:40 +02:00
..
default.nix gnome3.gnome-shell: 3.28.2 → 3.28.3 2018-07-31 23:01:40 +02:00
fix-paths.patch