ii  linux-headers-3.5.0-25                    3.5.0-25.39                         all          Header files related to Linux kernel version 3.5.0
ii  linux-headers-3.5.0-25-generic            3.5.0-25.39                         amd64        Linux kernel headers for version 3.5.0 on 64 bit x86 SMP
ii  linux-headers-3.8.0-11                    3.8.0-11.20                         all          Header files related to Linux kernel version 3.8.0
ii  linux-headers-3.8.0-11-generic            3.8.0-11.20                         amd64        Linux kernel headers for version 3.8.0 on 64 bit x86 SMP
ii  linux-headers-3.9.0-030900rc2             3.9.0-030900rc2.201303102035        all          Header files related to Linux kernel version 3.9.0
ii  linux-headers-3.9.0-030900rc2-generic     3.9.0-030900rc2.201303102035        amd64        Linux kernel headers for version 3.9.0 on 64 bit x86 SMP
ii  virtualbox                                4.2.8-dfsg-0ubuntu1                 amd64        x86 virtualization solution - base binaries
ii  virtualbox-dkms                           4.2.8-dfsg-0ubuntu1                 all          x86 virtualization solution - kernel module sources for dkms
ii  virtualbox-guest-additions-iso            4.2.8-1                             all          guest additions iso image for VirtualBox
ii  virtualbox-qt                             4.2.8-dfsg-0ubuntu1                 amd64        x86 virtualization solution - Qt based user interface