Eu culpo o proxy.
A partir daqui, no Reino Unido, o proxy3.serd.global.sharp.com.jp
não resolve, mas o espelho funciona bem. Pare de usar o proxy sharp.com.jp
e as coisas devem começar a funcionar. Eu não sei porque você quer usar um proxy japonês para um espelho chinês de qualquer maneira. Não faz muito sentido.
Se você está convencido de que sabe o que proxy3.serd.global.sharp.com.jp
deve resolver, execute sudoedit /etc/hosts
em um terminal e adicione o seguinte como uma nova linha no final do arquivo:
172.30.124.10 proxy3.serd.global.sharp.com.jp