I will try to send out another mail when I see that the f17-gmp packages hit rawhide. Luckily there is no ABI change, so the only change is really the gmp SONAME bump.
Okay I see that f17-gmp got merged into the main f17 repo in Koji since yesterday. So no need to worry about this any more.
Anyway I expect to rebuild everything later this year with newer ghc.
Cheers, Jens