[04:27] <timus> Hi. I think there's a kernel package missing compared with the other builds: http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.15-saucy/ 
[04:29] <timus> There should be a package named like linux-headers..._all.deb which is missing
[06:57] <handbook> anyone here? Can I ask why there's no headers_all DEB for Linux Kernel 3.11.4 & 3.10.15 on kernel.ubuntu.com/~kernel-ppa/mainline/
[16:18] <markx_> Hmm, any reason why theres no headers-all in http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.11.4-saucy/ ?