Okay a quick update on progress.  Nothing more built in koji yet, but lots of updates done in git master branches - I think I can start building now.
https://bugzilla.redhat.com/buglist.cgi?cmdtype=runnamed&list_id=5364724&namedcmd=haskell-available%3Aok

The following packages fail to build for me:

Agda
bluetile (glade)
darcs (hashed-storage)
ghc-IOSpec
ghc-cabal-file-th
ghc-cautious-file
ghc-cmdtheline
ghc-concrete-typerep
ghc-editline
ghc-glade
ghc-gtksourceview2
ghc-hakyll
ghc-happstack-server
ghc-hashed-storage
ghc-hledger-lib
ghc-lambdabot-utils
ghc-monad-unify
ghc-oeis
ghc-scotty
ghc-shelly
ghc-snap-core
ghc-snap-server
ghc-warp
ghc-yesod-routes
haddock
hledger
idris
shake

Once I have build most of the other packages it will be easier for people to help with these.

Some can also be dropped I think - anyway those that we are not able to fix during the F25 cycle will be retired...

I hope we can fix some of them anyway: quite a lot can be fixed by version updates that require new deps (ie package reviews).

Jens