12 commits

Author	SHA1	Message	Date
volth	46420bbaa3	treewide: name -> pname (easy cases) (#66585) ... treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname	2019-08-15 13:41:18 +01:00
worldofpeace	1549151cfe	gnome3.yelp-tools: 3.32.1 -> 3.32.2 ... https://gitlab.gnome.org/GNOME/yelp-tools/blob/3.32.2/NEWS	2019-06-30 23:54:55 -04:00
worldofpeace	386fb53a26	gnome3.yelp-tools: 3.32.0 -> 3.32.1 ... https://gitlab.gnome.org/GNOME/yelp-tools/blob/3.32.1/NEWS	2019-05-15 21:16:58 -04:00
Tor Hedin Brønner	67708fc457	gnome3.yelp-tools: 3.28.0 -> 3.32.0	2019-04-05 11:40:21 +02:00
Jan Tojnar	5cc18c4781	gnome3: remove versionBranch attribute ... Standard library now contains stdenv.lib.versions.majorMinor, which does the same.	2018-10-05 02:17:19 +02:00
Jan Tojnar	0973618e4e	gnome3: automated update	2018-03-22 07:46:42 +01:00
Jan Tojnar	546e7669b2	gnome3: move src.nix into default.nix automatically	2018-03-01 02:53:00 +01:00
Jan Tojnar	a31d98f312	tree-wide: autorename gnome packages to use dashes	2018-02-25 17:41:16 +01:00
John Ericson	f037625f87	Merge remote-tracking branch 'upstream/staging' into deps-reorg	2017-09-28 12:32:57 -04:00
Jan Tojnar	69698ec11c	gnome3: only maintain single GNOME 3 package set (#29397) ... * gnome3: only maintain single GNOME 3 package set GNOME 3 was split into 3.10 and 3.12 in #2694. Unfortunately, we barely have the resources to update a single version of GNOME. Maintaining multiple versions just does not make sense. Additionally, it makes viewing history using most Git tools bothersome. This commit renames `pkgs/desktops/gnome-3/3.24` to `pkgs/desktops/gnome-3`, removes the config variable for choosing packageset (`environment.gnome3.packageSet`), updates the hint in maintainer script, and removes the `gnome3_24` derivation from `all-packages.nix`. Closes: #29329 * maintainers/scripts/gnome: Use fixed GNOME 3 directory Since we now allow only a single GNOME 3 package set, specifying the working directory is not necessary. This commit sets the directory to `pkgs/desktops/gnome-3`.	2017-09-24 12:15:50 +01:00
Luca Bruno	d05fa3ccfe	Branch gnome 3.12	2014-05-20 13:41:33 +02:00
Domen Kožar	72cf0e2280	gnome3.yelp-tools: add	2014-02-17 12:32:59 +01:00