ii  linux-headers-3.12.0-2                                3.12.0-2.7                                 all          Header files related to Linux kernel version 3.12.0
ii  linux-headers-3.12.0-2-generic                        3.12.0-2.7                                 amd64        Linux kernel headers for version 3.12.0 on 64 bit x86 SMP
ii  linux-headers-3.12.0-3                                3.12.0-3.9                                 all          Header files related to Linux kernel version 3.12.0
ii  linux-headers-3.12.0-3-generic                        3.12.0-3.9                                 amd64        Linux kernel headers for version 3.12.0 on 64 bit x86 SMP
ii  linux-headers-3.12.0-4                                3.12.0-4.12                                all          Header files related to Linux kernel version 3.12.0
ii  linux-headers-3.12.0-4-generic                        3.12.0-4.10                                amd64        Linux kernel headers for version 3.12.0 on 64 bit x86 SMP
ii  linux-headers-3.13.0-031300rc1                        3.13.0-031300rc1.201311221535              all          Header files related to Linux kernel version 3.13.0
ii  linux-headers-3.13.0-031300rc1-generic                3.13.0-031300rc1.201311221535              amd64        Linux kernel headers for version 3.13.0 on 64 bit x86 SMP
ii  linux-headers-generic                                 3.12.0.4.6                                 amd64        Generic Linux kernel headers
ii  linux-headers-virtual                                 3.12.0.4.6                                 amd64        Transitional package.
ii  unity-scope-virtualbox                                0.1+13.10.20130723-0ubuntu1                all          VirtualBox scope for Unity
ii  virtualbox                                            4.2.16-dfsg-3ubuntu1                       amd64        x86 virtualization solution - base binaries
ii  virtualbox-dkms                                       4.2.16-dfsg-3ubuntu1                       all          x86 virtualization solution - kernel module sources for dkms
ii  virtualbox-qt                                         4.2.16-dfsg-3ubuntu1                       amd64        x86 virtualization solution - Qt based user interface