gmp 5 is stable

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.»