[caiu] ftp.br.debian.org fora?

[Lucas Willian Bocchi]

Senhores
O repositório oficial do debian está fora?
ping ftp.br.debian.org

Disparando ftp.br.debian.org [200.236.31.3] com 32 bytes de dados:
Esgotado o tempo limite do pedido.
Esgotado o tempo limite do pedido.
Esgotado o tempo limite do pedido.
Esgotado o tempo limite do pedido.

Estatísticas do Ping para 200.236.31.3:
    Pacotes: Enviados = 4, Recebidos = 0, Perdidos = 4 (100% de
             perda),