The Maintainer for Linux Headers is ^thatstherule^, you might ask him for an update.
Meanwhile I have provided an alternative which installs full sources to compile against. While it is continuously being improved it's operation is easy, just one click and its done.. when run there maybe occasional choices depending on ones needs, all of which can safely be ignored as the sources will be installed in their correct location and symlinks provided.
There are two independent scrips
(linux-3.8.10-sources-env.sh)
This assumes neither script has been run before and will download and install the sources and deps as needed.
the other
(linux-3.8.10-sources-basic-env.sh)
This maybe used for special requirements and is run only when sources and deps have been saved locally after previously using the main script above. (this script can has built-in safeguards so cannot be run accidentally)
Sent from my iPad using Tapatalk HD