Comment 29 for bug 1221995

@Rafael,

I have uninstalled the mainline kernel v3.14.15 and booted into v3.13.0-32, but still it only offers me to upgrade `linux-libc-dev` and nothing else.

$ uname -a
Linux aditya-desktop 3.13.0-32-generic #57-Ubuntu SMP Tue Jul 15 03:51:12 UTC 2014 i686 athlon i686 GNU/Linux

$ dpkg -l | grep "linux\-[a-z]*\-" | awk '{print $2}'
linux-headers-3.13.0-32
linux-headers-3.13.0-32-generic
linux-headers-generic
linux-image-3.13.0-30-generic
linux-image-3.13.0-32-generic
linux-image-extra-3.13.0-30-generic
linux-image-extra-3.13.0-32-generic
linux-image-generic
linux-libc-dev:i386
linux-sound-base