----- "Jens Petersen" <petersen(a)redhat.com> wrote:
https://fedorahosted.org/rel-eng/ticket/3807
and will move ghc there as soon as a separate buildroot is available.
This is now done - so all rebuilds need to be done in the dist-f14-ghc buildroot.
Jens