gmp-devel-2.0.2-5 is missing /usr/include/gmp-mparam.h. Makes it difficult to use gmp with the low level interface.
/usr/include/gmp-mparam.h is missing from the gmp-devel rpm as shipped.
The gmp package does not install a gmp-mparam.h header file by default, nor is gmp-mparam.h covered in the gmp documentation. The gmp package includes in several subdirectories several files named gmp-mparam.h, but no instructions that they are anything other than an internal header file. If gmp is supposed to install gmp-mparam.h, then it is a bug in gmp. I can't tell if the gmp maintainers consider this a bug or not, but you are welcome to take it up with them.
Since several applications assume that the gmp source code is installed for the express purpose of getting at gmp-mparam.h, I decided that whether or not it is a bug in gmp, I'll fix it for Red Hat users by putting the gmp-mparam.h file chosen at build time in /usr/include/gmp-mparam.h
Fixed in gmp-devel-2.0.2-7. Will not be released as an erratum against 5.2, but will be in RawHide and subsequent official releases.