The gmp and gmp-devel RPMs are marked as GPL, but the docs and includes show that it is, in fact, under the LGPL. This is so minor I'm wondering why I'm submitting a report. :)
Fixed in gmp-2.0.2-11, which should get into the next RawHide. Thanks!