[Bug 1063011] New: ghc-gtk-0.12.5.2 is available