nixpkgs/pkgs/desktops/gnome-3/misc/gtkhtml/src.nix

# Autogenerated by maintainers/scripts/gnome.sh update

fetchurl: {
  name = "gtkhtml-4.10.0";

  src = fetchurl {
    url = mirror://gnome/sources/gtkhtml/4.10/gtkhtml-4.10.0.tar.xz;
    sha256 = "ca3b6424fb2c7ac5d9cb8fdafb69318fa2e825c9cf6ed17d1e38d9b29e5606c3";
  };
}
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 = "gtkhtml-4.10.0";`

			`src = fetchurl {`
			`url = mirror://gnome/sources/gtkhtml/4.10/gtkhtml-4.10.0.tar.xz;`
			`sha256 = "ca3b6424fb2c7ac5d9cb8fdafb69318fa2e825c9cf6ed17d1e38d9b29e5606c3";`
			`};`
			`}`