From 7b66d96910cc19a78e642e592913fb8079186793 Mon Sep 17 00:00:00 2001 From: Will Dietz Date: Wed, 31 Oct 2018 20:08:48 -0500 Subject: [PATCH] webkitgtk: 2.22.2 -> 2.22.3 https://webkitgtk.org/2018/10/29/webkitgtk2.22.3-released.html --- pkgs/development/libraries/webkitgtk/2.22.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/libraries/webkitgtk/2.22.nix b/pkgs/development/libraries/webkitgtk/2.22.nix index 7eae5819daf1..71b3dc24fe21 100644 --- a/pkgs/development/libraries/webkitgtk/2.22.nix +++ b/pkgs/development/libraries/webkitgtk/2.22.nix @@ -15,7 +15,7 @@ assert stdenv.isDarwin -> !enableGtk2Plugins; with stdenv.lib; stdenv.mkDerivation rec { name = "webkitgtk-${version}"; - version = "2.22.2"; + version = "2.22.3"; meta = { description = "Web content rendering engine, GTK+ port"; @@ -28,7 +28,7 @@ stdenv.mkDerivation rec { src = fetchurl { url = "https://webkitgtk.org/releases/${name}.tar.xz"; - sha256 = "1flrbr8pzbrlwv09b4pmgh6vklw7jghd2lgrhcb72vl9s7a8fm1l"; + sha256 = "0wnddhm2bihmmkmi919lyxskvjk2wrzx6azkiypyjfwm08lm9zcx"; }; patches = optionals stdenv.isDarwin [