On 06/12/14 18:25, Marc Glisse wrote: > On Sat, 6 Dec 2014, Cyd Haselton wrote: > >> Is this something to report to mpfr or gmp maintainers or here? > > You should first try a recent version of GMP. The one from > download_prerequisites is older than Android... If we need to update download_prerequisites we can easily do that. Andrew.