/gmp-5.0.5.tar.xz
/gmp-5.1.0.tar.bz2
/gmp-5.1.1.tar.bz2