nixpkgs/pkgs/desktops/gnome-3
2018-04-03 18:13:25 +02:00
..
apps gnome3.gnome-music: fix ugly codecs 2018-03-29 11:09:38 +02:00
core gnome3.gnome-shell-extensions: let apps-menu know about gnome-menus 2018-04-03 16:10:23 +02:00
desktop/rarian gnome3.rarian: fix build 2018-03-05 06:06:09 +01:00
devtools gnome3.devhelp: fix build 2018-03-22 07:46:55 +01:00
extensions gnomeExtensions.dash-to-dock: 62 → 63 2018-04-03 18:13:25 +02:00
games gnome3.lightsoff: clean up 2018-03-22 07:46:51 +01:00
misc gnome3.gnome-tweaks: make tweaks aware of gnome-shell-extensions 2018-04-03 16:12:18 +02:00
default.nix networkmanager-pptp: remove package 2018-03-23 22:24:50 +01:00
find-latest-version.py gnome3.updateScript: ignore prerelease versions 2018-03-04 20:05:53 +01:00
installer.nix
update.nix gnome3: add updateScript 2018-03-01 02:53:00 +01:00