nixpkgs/pkgs/desktops/gnome-3/games/gnome-tetravex/src.nix

# Autogenerated by maintainers/scripts/gnome.sh update

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

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

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