gmp 5 is stable

[Xose Vazquez Perez]

hi,

Upstream maintainers believe 5.x is ready for distributions,
see thread: http://gmplib.org/list-archives/gmp-discuss/2011-February/004526.html

5.0.1 was released ONE year ago, and no critical bugs were discovered.

please resubmit to build: http://koji.fedoraproject.org/koji/buildinfo?buildID=174793

https://bugzilla.redhat.com/show_bug.cgi?id=593612

-thanks-
-- 
«Allá muevan feroz guerra, ciegos reyes por un palmo más de tierra;
que yo aquí tengo por mío cuanto abarca el mar bravío, a quien nadie
impuso leyes. Y no hay playa, sea cualquiera, ni bandera de esplendor,
que no sienta mi derecho y dé pecho a mi valor.»