nixpkgs/pkgs/desktops/gnome-3/core/gnome-themes-standard/src.nix

# Autogenerated by maintainers/scripts/gnome.sh update

fetchurl: {
  name = "gnome-themes-standard-3.22.3";

  src = fetchurl {
    url = mirror://gnome/sources/gnome-themes-standard/3.22/gnome-themes-standard-3.22.3.tar.xz;
    sha256 = "61dc87c52261cfd5b94d65e8ffd923ddeb5d3944562f84942eeeb197ab8ab56a";
  };
}
gnome3_22: init at 3.22 copied from 3.20 removed whitespaces at the end of lines updated to 3.22 versions removed webkitgtk24 where possible gnome3_22.evolution: nspr include dir broken / not needed anymore gnome3_22.gfbgraph: 0.2.2 -> 0.2.3 gnome3_22.gjs: 1.44.0 -> 1.46.0 gnome3_22.gnome-autoar: init at 0.1.1 gnome3_22.gnome-core.folks: 0.11.0 -> 0.11.2 gnome3_22.gnome-user-share 3.18.1 -> 3.18.3 gnome3_22.gnome-weather: 3.20.1 -> 3.20.2 gnome3_22.grilo: 0.3.1 -> 0.3.2 gnome3_22.grilo-plugins: 0.3.2 -> 0.3.3 gnome3_22.libgepub: init at 0.4 gnome3_22.libgweather: 3.20.1 -> 3.20.3 gnome3_22.rest: 0.7.93 -> 0.8.0 gnome3_22.totem: x86 patch is upstream gnome3_22.tracker: 1.9.0 -> 1.10.0 2016-09-18 21:35:23 +02:00			`# Autogenerated by maintainers/scripts/gnome.sh update`

			`fetchurl: {`
gnome-themes-standard: 3.22.1 -> 3.22.3 2017-10-21 17:05:30 +02:00			`name = "gnome-themes-standard-3.22.3";`
gnome3_22: init at 3.22 copied from 3.20 removed whitespaces at the end of lines updated to 3.22 versions removed webkitgtk24 where possible gnome3_22.evolution: nspr include dir broken / not needed anymore gnome3_22.gfbgraph: 0.2.2 -> 0.2.3 gnome3_22.gjs: 1.44.0 -> 1.46.0 gnome3_22.gnome-autoar: init at 0.1.1 gnome3_22.gnome-core.folks: 0.11.0 -> 0.11.2 gnome3_22.gnome-user-share 3.18.1 -> 3.18.3 gnome3_22.gnome-weather: 3.20.1 -> 3.20.2 gnome3_22.grilo: 0.3.1 -> 0.3.2 gnome3_22.grilo-plugins: 0.3.2 -> 0.3.3 gnome3_22.libgepub: init at 0.4 gnome3_22.libgweather: 3.20.1 -> 3.20.3 gnome3_22.rest: 0.7.93 -> 0.8.0 gnome3_22.totem: x86 patch is upstream gnome3_22.tracker: 1.9.0 -> 1.10.0 2016-09-18 21:35:23 +02:00
			`src = fetchurl {`
gnome-themes-standard: 3.22.1 -> 3.22.3 2017-10-21 17:05:30 +02:00			`url = mirror://gnome/sources/gnome-themes-standard/3.22/gnome-themes-standard-3.22.3.tar.xz;`
			`sha256 = "61dc87c52261cfd5b94d65e8ffd923ddeb5d3944562f84942eeeb197ab8ab56a";`
gnome3_22: init at 3.22 copied from 3.20 removed whitespaces at the end of lines updated to 3.22 versions removed webkitgtk24 where possible gnome3_22.evolution: nspr include dir broken / not needed anymore gnome3_22.gfbgraph: 0.2.2 -> 0.2.3 gnome3_22.gjs: 1.44.0 -> 1.46.0 gnome3_22.gnome-autoar: init at 0.1.1 gnome3_22.gnome-core.folks: 0.11.0 -> 0.11.2 gnome3_22.gnome-user-share 3.18.1 -> 3.18.3 gnome3_22.gnome-weather: 3.20.1 -> 3.20.2 gnome3_22.grilo: 0.3.1 -> 0.3.2 gnome3_22.grilo-plugins: 0.3.2 -> 0.3.3 gnome3_22.libgepub: init at 0.4 gnome3_22.libgweather: 3.20.1 -> 3.20.3 gnome3_22.rest: 0.7.93 -> 0.8.0 gnome3_22.totem: x86 patch is upstream gnome3_22.tracker: 1.9.0 -> 1.10.0 2016-09-18 21:35:23 +02:00			`};`
			`}`