Kernel debug symbols?

[Krister Johansen]

Hi,
I went looking for the debug symbols for recent kernels and noticed that
the last time any appear to be published to ddebs.ubuntu.com was
somewhere around the end of May / beginning of June.  Are kernel ddebs
still being published?  Have they moved to a different location?  The
documentation I could find on the web seemed to point users who wanted
to debug their kernels to ddebs.ubuntu.com.  Is there another place I
should be looking instead?

Thanks,

-K