[Mageia-dev] Freeze push: gmp 5.1.0

[Dimitri]

Please push GNU MP 5.1.0. It's bugfix and speedup release, source and
binary compatible with 5.0 series: http://gmplib.org/gmp5.1.html

Thanks! Dimitri