Will Dietz 888dba6a1d webkitgtk: 2.24.2 ... https://webkitgtk.org/2019/05/17/webkitgtk2.24.2-released.html		2019-05-18 08:23:31 +02:00
..
2.4.nix
configure.patch
default.nix	webkitgtk: 2.24.2	2019-05-18 08:23:31 +02:00
fix-execinfo.patch
libc++.patch
plugin-none.patch
quartz-webcore.patch
webcore-svg-libxml-cflags.patch