ii  linux-headers-3.7.0-7                     3.7.0-7.15                               all          Header files related to Linux kernel version 3.7.0
ii  linux-headers-3.7.0-7-generic             3.7.0-7.15                               i386         Linux kernel headers for version 3.7.0 on 32 bit x86 SMP
ii  linux-headers-3.8.0-0                     3.8.0-0.4                                all          Header files related to Linux kernel version 3.8.0
ii  linux-headers-3.8.0-0-generic             3.8.0-0.4                                i386         Linux kernel headers for version 3.8.0 on 32 bit x86 SMP
ii  linux-headers-3.8.0-1                     3.8.0-1.5                                all          Header files related to Linux kernel version 3.8.0
ii  linux-headers-3.8.0-1-generic             3.8.0-1.5                                i386         Linux kernel headers for version 3.8.0 on 32 bit x86 SMP
ii  linux-headers-generic                     3.8.0.1.14                               i386         Generic Linux kernel headers
ii  virtualbox-guest-dkms                     4.1.22-dfsg-0ubuntu2                     all          x86 virtualization solution - guest addition module source for dkms
ii  virtualbox-guest-utils                    4.1.22-dfsg-0ubuntu2                     i386         x86 virtualization solution - non-X11 guest utilities
ii  virtualbox-guest-x11                      4.1.22-dfsg-0ubuntu2                     i386         x86 virtualization solution - X11 guest utilities