[Bug 1060011] New: ghc-webkit-0.12.5.2 is available