Thanks everyone for your suggestions - I now have a full set of 3.0p10 binary CDs from http://non-us.cdimage.debian.org/jigdo-area/ (which incidentally is on a very nice connection - I got 7Mbyte/s off it :-) Cheers, Theo -- To UNSUBSCRIBE, email to debian-arm-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org