----- "Jens Petersen" <petersen at 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