The gmp.spec file has libgmpxx.so.3 where it should have libgmpxx.so.4.
The patch attached fixes the problem.
Created attachment 203481 [details]
Patch to gmp.spec that fixes the problem
Some srpms have to be rebuilt against newest gmp and
this must be fixed before F8T3 freeze comes.
Thanks. Fixed in gmp-4.2.2-3.fc8.