The server seems to be functional again, although not fully up to date yet; debian/dists/sid/main/binary-i386/Packages.gz has a timestamp of June 21, 16:36.
Sven -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
