I just added a rebuild list gmp-5.0 to the TODO lists. Note [community]
needs scanned (libgmp.so).
gmp-5.0 is labeled as a "performance release" while gmp-4.x is the
"stable release". I still think upgrading to 5.0 is the Arch thing to
do as "stable release" in this case means that the 4.x series is dead
and all new features are in 5.0.
This will not be happening for at least a week due to lack of time on my
end to do the needed toolchain update/rebuild.