nixpkgs/pkgs/desktops/gnome-3
2019-05-15 21:17:32 -04:00
..
apps gnome3.gnome-music: 3.32.1 -> 3.32.2 2019-05-15 21:10:13 -04:00
core gnome3.yelp-tools: 3.32.0 -> 3.32.1 2019-05-15 21:16:58 -04:00
devtools gnome3.gsettings-desktop-schemas -> gsettings-desktop-schemas 2019-04-17 13:39:23 -04:00
extensions gnomeExtensions.gsconnect: 21 → 23 2019-05-03 04:34:43 +02:00
games gnome3.gnome-mines: 3.32.0 -> 3.32.2 2019-05-15 21:17:32 -04:00
misc gnome3.geary: 3.32.0 -> 3.32.1 2019-05-03 19:24:45 -04:00
default.nix gnome3.gsettings-desktop-schemas -> gsettings-desktop-schemas 2019-04-17 13:39:23 -04: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: reuse gnome-update-script 2018-12-02 00:50:37 +01:00