command to download GMP source from the repository

Steve Ward planet36 at gmail.com
Mon Oct 26 02:46:25 CET 2009


On the main page <http://gmplib.org/> in the download section <
http://gmplib.org/#DOWNLOAD>, I think the command to download GMP source
from the repository should be added.


Thanks,
Steve Ward


More information about the gmp-discuss mailing list