On Wed 05 Aug 2015 at 18:05:01 +0100, Paul Lavender wrote: > I'm using kernel 3.13.5-1-amd64, which was released on a a pre-release > Jessie. How can I find the headers? Obviously the world has moved on and the > linux-headers-amd64 no longer has them. http://snapshot.debian.org/