so am I getting this right, that the hash sum mismatches of extras-testing and extras-devel come from a server fault? But why can they be downloaded then?