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.