sudo dpkg --list |grep 3.13.0-55-generic
[sudo] password for whodevil:
ii  linux-headers-3.13.0-55-generic     3.13.0-55.94                          amd64        Linux kernel headers for version 3.13.0 on 64 bit x86 SMP
iF  linux-image-3.13.0-55-generic       3.13.0-55.94                          amd64        Linux kernel image for version 3.13.0 on 64 bit x86 SMP
iU  linux-image-extra-3.13.0-55-generic 3.13.0-55.94                          amd64        Linux kernel extra modules for version 3.13.0 on 64 bit x86 SMP