[04:27] 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] There should be a package named like linux-headers..._all.deb which is missing [06:57] 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] Hmm, any reason why theres no headers-all in http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.11.4-saucy/ ?