Hi, This is an information for all the developers who see successfully built packages on buildd.d.o but can't find them They will be dealt with eventually, so don't fear, everything will be good :-). The arm buildds are currently catching up, may take a couple of days. In any case, if you have special inquiries mail debian-arm@lists.d.o. so long Othmar