ii  linux-headers-4.13.0-17                       4.13.0-17.20                                               all          Header files related to Linux kernel version 4.13.0
ii  linux-headers-4.13.0-17-generic               4.13.0-17.20                                               amd64        Linux kernel headers for version 4.13.0 on 64 bit x86 SMP
ii  linux-headers-4.15.0-041500rc4                4.15.0-041500rc4.201712172330                              all          Header files related to Linux kernel version 4.15.0
ii  linux-headers-4.15.0-041500rc4-generic        4.15.0-041500rc4.201712172330                              amd64        Linux kernel headers for version 4.15.0 on 64 bit x86 SMP
ii  linux-headers-generic                         4.13.0.17.18                                               amd64        Generic Linux kernel headers
ii  virtualbox                                    5.2.4-dfsg-1                                               amd64        x86 virtualization solution - base binaries
ii  virtualbox-dkms                               5.2.4-dfsg-1                                               all          x86 virtualization solution - kernel module sources for dkms
ii  virtualbox-qt                                 5.2.4-dfsg-1                                               amd64        x86 virtualization solution - Qt based user interface