[Bug 1036546] ghc-gtk-0.12.5.0 is available