@Ronan,
I had the same issue - I ended up downloading the deb directly from here: http://ddebs.ubuntu.com/pool/main/l/linux/ (make sure to get the correct one for your kernel). Also, be warned that the deb is ~600 megs, and unpacks to over 2GB. I had to symlink /usr/lib/debug/lib/ to a directory on my /home partition to have room for it.
It seems unlikely that you'll get different results than I did, but probably worth testing!
@Ronan, ddebs.ubuntu. com/pool/ main/l/ linux/ (make sure to get the correct one for your kernel). Also, be warned that the deb is ~600 megs, and unpacks to over 2GB. I had to symlink /usr/lib/debug/lib/ to a directory on my /home partition to have room for it.
I had the same issue - I ended up downloading the deb directly from here: http://
It seems unlikely that you'll get different results than I did, but probably worth testing!