ping? > 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 >