Not sure if anyone on this list maintains this server, but it seems to be down at the moment, preventing apt-get update on my machine. -Eric