[Bug 1063011] ghc-gtk-0.12.5.7 is available