Please push GMP 5.1.1. It's a bugfix release, see
http://gmplib.org/list-archives/gmp-announce/2013-February/38.html
Thanks!
Mitya
Le 01/02/2013 20:17, Dimitri a écrit :
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
Done.
BTW, top-posting is considered lame practice among us 1337 h4><3rz...
--
BOFH excuse #340:
Well fix that i
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
>
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