Tente o mesmo comando novamente. Pode ter sido um problema temporário com o servidor DNS e / ou o registro de nome de domínio que foi corrigido agora. Eu apenas tentei e baixei com sucesso o total de 3.170.982 bytes.
Editar
Se o seu servidor DNS ainda tiver problemas, tente usar o serviço fornecido pelo Google. Edite seu /etc/resolv.conf
(como root) e coloque essa única linha:
nameserver 8.8.8.8
tente novamente.