nixpkgs/pkgs/desktops/gnome-3/3.22/games/gnome-robots/src.nix

# Autogenerated by maintainers/scripts/gnome.sh update

fetchurl: {
  name = "gnome-robots-3.22.0";

  src = fetchurl {
    url = mirror://gnome/sources/gnome-robots/3.22/gnome-robots-3.22.0.tar.xz;
    sha256 = "ddb02f9d04c970354d1836813f8c0d9ffc3ff509091d2580384e2275663e6f73";
  };
}
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: {`
			`name = "gnome-robots-3.22.0";`

			`src = fetchurl {`
			`url = mirror://gnome/sources/gnome-robots/3.22/gnome-robots-3.22.0.tar.xz;`
			`sha256 = "ddb02f9d04c970354d1836813f8c0d9ffc3ff509091d2580384e2275663e6f73";`
			`};`
			`}`