ii  linux-headers-3.2.0-40                       3.2.0-40.64                                      Header files related to Linux kernel version 3.2.0
ii  linux-headers-3.2.0-40-generic               3.2.0-40.64                                      Linux kernel headers for version 3.2.0 on 64 bit x86 SMP
ii  linux-headers-3.5.0-25                       3.5.0-25.39~precise1                             Header files related to Linux kernel version 3.5.0
ii  linux-headers-3.5.0-25-generic               3.5.0-25.39~precise1                             Linux kernel headers for version 3.5.0 on 64 bit x86 SMP
ii  linux-headers-3.5.0-26                       3.5.0-26.42~precise1                             Header files related to Linux kernel version 3.5.0
ii  linux-headers-3.5.0-26-generic               3.5.0-26.42~precise1                             Linux kernel headers for version 3.5.0 on 64 bit x86 SMP
ii  linux-headers-3.5.0-27                       3.5.0-27.46~precise1                             Header files related to Linux kernel version 3.5.0
ii  linux-headers-3.5.0-27-generic               3.5.0-27.46~precise1                             Linux kernel headers for version 3.5.0 on 64 bit x86 SMP
ii  linux-headers-generic                        3.2.0.40.48                                      Generic Linux kernel headers
ii  linux-headers-generic-lts-quantal            3.5.0.27.34                                      Generic Linux kernel headers
ii  virtualbox                                   4.1.12-dfsg-2ubuntu0.2                           x86 virtualization solution - base binaries
ii  virtualbox-dkms                              4.1.12-dfsg-2ubuntu0.2                           x86 virtualization solution - kernel module sources for dkms
ii  virtualbox-ose-dkms                          4.1.12-dfsg-2ubuntu0.2                           transitional package for virtualbox-dkms
ii  virtualbox-qt                                4.1.12-dfsg-2ubuntu0.2                           x86 virtualization solution - Qt based user interface