Ciao Luc, Il Gio, 3 Dicembre 2020 5:03 pm, Luc Sanselme ha scritto: > I ran make check on termux on my phone and It's OK now. Great, thank you! Then, also the new release GMP-6.2.1 should be OK. Ĝis, m