Hi, sorry to be impatient, but: when could we expect the debian package archive (packages.debian.org) to be reachable again? I'd like to install debian over the net from scratch. Does anyone know of a substitute? (i.e., a mirror containing the packages as of before Nov 20th?) Thank you, keep up the good work, Jens.