Hi, It seems that ddt2.debian.net is not reachable again. Ping does no work. Best regards, Jean-Pierre Giraud