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	…