Kernel ppa down?

[plech.d]

Dear Kernel team,

Am I correct in thinking that the kernel.ubuntu.com server is down? It hasn't been loading up since saturday. The git protocol on the server doesn't work either.

Is there an alternative source for mainline Ubuntu kernels?

Thank you very much in advance,
Dominik

[nintendojet]

It's down for me too...

[searchfgold6789]

It is down for me as well, and I would very much like to know if there is some alternative place I can get my kernel packages. I have some bug testing to get done and need the 3.7-rc7 kernel debs.

[Frogs Hair]

This may be related. http://ubuntuforums.org/showthread.php?t=2088127

[plech.d]

This may be related. http://ubuntuforums.org/showthread.php?t=2088127

All working now! :)