Vincent Lefevre <vincent at vinc17.org> writes:
http://gmplib.org/ says:
The current release is 4.2.3, released 2007-09-11. It fixes all problems
found with 4.2.1.
The date is incorrect, and 4.2.1 should be replaced by 4.2.2.
Thanks.
--
Torbjörn