Eu sei que não há uma boa resposta para a minha pergunta, porque no final eu vou ter que baixar "da internet" e acredito que todos os downloads foram bloqueados atualmente, então não importa se estou tentando faça o download de cada pacote manualmente ou usando o gerenciador de download ou o que for. Eu acho que vou ter que esperar até que o bloco seja levantado.