davide@davide-VGN-NS31S-S:~$ dpkg -l | grep headers
iU linux-generic 3.13.0.55.62 i386 Complete Generic Linux kernel and headers
ii linux-headers-3.13.0-32 3.13.0-32.57 all Header files related to Linux kernel version 3.13.0
ii linux-headers-3.13.0-32-generic 3.13.0-32.57 i386 Linux kernel headers for version 3.13.0 on 32 bit x86 SMP
ii linux-headers-3.13.0-43 3.13.0-43.72 all Header files related to Linux kernel version 3.13.0
ii linux-headers-3.13.0-43-generic 3.13.0-43.72 i386 Linux kernel headers for version 3.13.0 on 32 bit x86 SMP
ii linux-headers-3.13.0-44 3.13.0-44.73 all Header files related to Linux kernel version 3.13.0
ii linux-headers-3.13.0-44-generic 3.13.0-44.73 i386 Linux kernel headers for version 3.13.0 on 32 bit x86 SMP
ii linux-headers-3.13.0-45 3.13.0-45.74 all Header files related to Linux kernel version 3.13.0
ii linux-headers-3.13.0-45-generic 3.13.0-45.74 i386 Linux kernel headers for version 3.13.0 on 32 bit x86 SMP
ii linux-headers-3.13.0-46 3.13.0-46.79 all Header files related to Linux kernel version 3.13.0
ii linux-headers-3.13.0-46-generic 3.13.0-46.79 i386 Linux kernel headers for version 3.13.0 on 32 bit x86 SMP
ii linux-headers-3.13.0-48 3.13.0-48.80 all Header files related to Linux kernel version 3.13.0
ii linux-headers-3.13.0-48-generic 3.13.0-48.80 i386 Linux kernel headers for version 3.13.0 on 32 bit x86 SMP
ii linux-headers-3.13.0-49 3.13.0-49.83 all Header files related to Linux kernel version 3.13.0
ii linux-headers-3.13.0-49-generic 3.13.0-49.83 i386 Linux kernel headers for version 3.13.0 on 32 bit x86 SMP
ii linux-headers-3.13.0-53 3.13.0-53.89 all Header files related to Linux kernel version 3.13.0
ii linux-headers-3.13.0-53-generic 3.13.0-53.89 i386 Linux kernel headers for version 3.13.0 on 32 bit x86 SMP
ii linux-headers-3.13.0-55 3.13.0-55.94 all Header files related to Linux kernel version 3.13.0
ii linux-headers-3.13.0-55-generic 3.13.0-55.94 i386 Linux kernel headers for version 3.13.0 on 32 bit x86 SMP
ii linux-headers-generic 3.13.0.55.62 i386 Generic Linux kernel headers
davide@davide-VGN-NS31S-S:~$