Hello, Is it times.debian.net server down? It seems so [0]. Regards. Andre Felipe [0] http://downforeveryoneorjustme.com/http://times.debian.net