ii  linux-headers-4.13.0-11                    4.13.0-11.12                                all          Header files related to Linux kernel version 4.13.0
ii  linux-headers-4.13.0-11-generic            4.13.0-11.12                                amd64        Linux kernel headers for version 4.13.0 on 64 bit x86 SMP
ii  linux-headers-4.13.0-12                    4.13.0-12.13                                all          Header files related to Linux kernel version 4.13.0
ii  linux-headers-4.13.0-12-generic            4.13.0-12.13                                amd64        Linux kernel headers for version 4.13.0 on 64 bit x86 SMP
ii  linux-headers-generic                      4.13.0.12.13                                amd64        Generic Linux kernel headers
ii  virtualbox                                 5.1.28-dfsg-2                               amd64        x86 virtualization solution - base binaries
ii  virtualbox-dkms                            5.1.28-dfsg-2                               all          x86 virtualization solution - kernel module sources for dkms
ii  virtualbox-qt                              5.1.28-dfsg-2                               amd64        x86 virtualization solution - Qt based user interface