Ciao, Il 2020-11-15 00:04 Vincent Lefevre ha scritto: > Thanks. https://gmplib.org/gmp6.2 and https://gmplib.org/manual/ still > mention 6.2.0. Will these web pages be updated? Everything should be correct now. Ĝis, m