Vincent Lefevre <vincent at vinc17.net> writes: Thanks. https://gmplib.org/gmp6.2 and https://gmplib.org/manual/ still mention 6.2.0. Will these web pages be updated? As a matter of fact, they will! -- Torbjörn Please encrypt, key id 0xC8601622