What links to put in sources.list to use to find linux headers for latest kernel? (3.13.8 bone80)

I am using beaglebone black, debian 7.1

I updated the kernel with:

cd /opt/scripts/tools/
git pull
sudo ./update_kernel.sh
sudo reboot

Then I tried to install the linux headers:

sudo apt-get install linux-headers-$(uname -r)

I get the message that the package is not found. Then I try:
apt-cache search linux-headers

I get a very poor list of available headers, none of them associated with my kernel. I can see some users are able to find appropriate headers with apt-cache search, like this one: https://groups.google.com/forum/#!topic/beagleboard/3LlPLiIGByM (see post from William Hermans)

I assume my problem is in the sources.list and the apt-get is searching in the wrong place. Could someone share the sources.list that you are using on BBB? Thanks!



Dear Robert, thank you very much, exactly what I needed!