mirror://gnu/gmp/gmp-4.2.4.tar.bz2
