Здравствуйте, Курилка, Вы писали:

К>обнаружилось, что даже докачку этот сервак не поддерживает

Да, это так.
Это даже в документации написано.

А что, пытаешся утянуть через телефонный модем?
У меня всегда получается вытянуть очередную версию через модем с одного раза.

Справедливости ради следует отметить, что на этом сервере весьма живучие TCP — соединения. Сервер не обрывает их при временной остановке передачи, слишком малой скорости, или слишком длительном по времени соединении (проблемы существующие на других серверах, решаемые подкачкой).

Если интересно непременно скачать, то есть копии на FTP где-то на inf.ethz.ch там подерживается докачка.