gluck.debian.org down?

[gnu_gregor]

Kann es sein, dass seit heute Mittag http://www.debian.org down ist?
Dies ist auch der Server von people.debian.org (gluck.debian.org, 192.25.206.10).

Ciao,
gnu_gregor

[pil]

Kann es sein, dass seit heute Mittag http://www.debian.org down ist?
Dies ist auch der Server von people.debian.org (gluck.debian.org, 192.25.206.10).

Ciao,
gnu_gregor

Alle debian Server scheinen schon seit mehreren Stunden down zu sein.

[josef]

"To avoid the 'only heard on IRC' problem, gluck is down right now. I've
been told (via irc) that an HP-er has been notified and that it is being
worked on."
(Scott Dier auf debian-devel)

[Paladin]

jo.. und gerade heute brauch ich debian packages die es nur von people.debian.org gibt =((

oder hat sonst noch jemand einen xfree4.2 pre1v3 mirror?

[Paladin]

juhu es geht wieder