webkitgtk: 2.24.2

https://webkitgtk.org/2019/05/17/webkitgtk2.24.2-released.html
This commit is contained in:
Will Dietz 2019-05-17 09:47:44 -05:00 committed by Frederik Rietdijk
parent 7822281b68
commit 888dba6a1d

View file

@ -15,7 +15,7 @@ assert stdenv.isDarwin -> !enableGtk2Plugins;
with stdenv.lib; with stdenv.lib;
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "webkitgtk-${version}"; name = "webkitgtk-${version}";
version = "2.24.1"; version = "2.24.2";
meta = { meta = {
description = "Web content rendering engine, GTK+ port"; description = "Web content rendering engine, GTK+ port";
@ -28,7 +28,7 @@ stdenv.mkDerivation rec {
src = fetchurl { src = fetchurl {
url = "https://webkitgtk.org/releases/${name}.tar.xz"; url = "https://webkitgtk.org/releases/${name}.tar.xz";
sha256 = "0v9riwrmwi9wxbb8hlvcbyyxa9zxhcdk6s1xcspalk6asam8xjsk"; sha256 = "071jnjvjq6wsxx1jh4ql3j53h1nhphs5ga67fa5i9xjvs3qb3701";
}; };
patches = optionals stdenv.isDarwin [ patches = optionals stdenv.isDarwin [