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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
