status of "people" server?

Hi, does anyone knows the status of the "people.debian.org" server? I know that it was taken off, cause of the compromitation of some debian servers, but this was 10 days ago. The Problem: I want to get a cyrus backport from: deb http://people.debian.org/~hmh/woody/ hmh/cyrus/ Since 2 days I guess

status of "people" server?

Hi, does anyone knows the status of the "people.debian.org" server? I know that it was taken off, cause of the compromitation of some debian servers, but this was 10 days ago. The Problem: I want to get a cyrus backport from: deb http://people.debian.org/~hmh/woody/ hmh/cyrus/ Since 2 days I guess