Just to update I finished rebuilding all the ghc packages in dist-f14-ghc over the weekend and they should appear in the next rawhide push. Probably kaya and hedgewars should be rebuilt too. Please report or let me know of any problems. Thanks, Jens