distfiles admin needed

Marcin Król krol at wsb-nlu.edu.pl
Sun Oct 3 09:19:44 CEST 2004


Who has access to distfiles? File rarlinux-3.4.0.tar.gz was downloaded 
incorrectly (no space left on device). It has 0 size, but df thinks its 
ok and don't want to download it again. md5 of this empty file _may not_ 
be correct, so shouldn't df re-download file? IMO it should.

M.




More information about the pld-devel-en mailing list