nixpkgs/pkgs/desktops/gnome-3
2019-10-03 00:09:17 +02:00
..
apps gnome3.gnome-sound-recorder: 3.32.1 -> 3.34.0 2019-09-30 19:39:51 +02:00
core gnome3.gdm: Remove duplicate sessions when on Xorg 2019-10-03 00:09:17 +02:00
devtools gnome3.devhelp: 3.32.0 → 3.34.0 2019-09-30 19:39:40 +02:00
extensions gnomeExtension.timepp: mark as broken 2019-10-03 00:09:16 +02:00
games gnome3.swell-foop: 3.32.0 → 3.34.0 2019-09-30 19:39:46 +02:00
misc gnome3.pomodoro: 0.15.1 -> 2019-09-15 2019-10-03 00:09:17 +02:00
default.nix gnome3.gnome-initial-setup: init at 3.34.0 2019-10-03 00:09:11 +02:00
find-latest-version.py gnome3.updateScript: improve pre-release detection 2018-11-30 21:35:29 +01:00
installer.nix
update.nix gnome3.updateScript: clean up PATH 2019-06-02 09:44:13 +02:00