pi@raspberrypi ~ $ dpkg -l 'linux-*' | grep ^ii
ii  linux-base                     3.5                        all          Linux image base package
ii  linux-image-3.18.0-trunk-rpi   3.18.5-1~exp1+rpi19        armhf        Linux 3.18 for RaspberryPI
ii  linux-image-rpi-rpfv           3.18+63+rpi4               armhf
ii  linux-libc-dev:armhf           3.16.7-ckt11-1+deb8u4+rpi1 armhf        Linux support headers for userspace development