ii  linux-headers-3.2.0-23                 3.2.0-23.36                             Header files related to Linux kernel version 3.2.0
ii  linux-headers-3.2.0-23-generic-pae     3.2.0-23.36                             Linux kernel headers for version 3.2.0 on 64 bit x86 SMP
ii  linux-headers-3.2.0-24                 3.2.0-24.39                             Header files related to Linux kernel version 3.2.0
ii  linux-headers-3.2.0-24-generic-pae     3.2.0-24.39                             Linux kernel headers for version 3.2.0 on 64 bit x86 SMP
ii  linux-headers-3.2.0-25                 3.2.0-25.40                             Header files related to Linux kernel version 3.2.0
ii  linux-headers-3.2.0-25-generic-pae     3.2.0-25.40                             Linux kernel headers for version 3.2.0 on 32 bit x86 SMP
ii  linux-headers-generic-pae              3.2.0.25.27                             Generic Linux kernel headers
ii  virtualbox-guest-dkms                  4.1.12-dfsg-2                           x86 virtualization solution - guest addition module source for dkms
ii  virtualbox-guest-utils                 4.1.12-dfsg-2                           x86 virtualization solution - non-X11 guest utilities
ii  virtualbox-guest-x11                   4.1.12-dfsg-2                           x86 virtualization solution - X11 guest utilities
ii  virtualbox-ose-guest-utils             4.1.12-dfsg-2                           transitional package for virtualbox-guest-utils