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-4.13.0-14                    4.13.0-14.15                                all          Header files related to Linux kernel version 4.13.0
ii  linux-headers-4.13.0-14-generic            4.13.0-14.15                                amd64        Linux kernel headers for version 4.13.0 on 64 bit x86 SMP
ii  linux-headers-4.13.0-15                    4.13.0-15.16                                all          Header files related to Linux kernel version 4.13.0
ii  linux-headers-4.13.0-15-generic            4.13.0-15.16                                amd64        Linux kernel headers for version 4.13.0 on 64 bit x86 SMP
ii  linux-headers-generic                      4.13.0.15.16                                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-ext-pack                        5.1.28-1                                    all          extra capabilities for VirtualBox, downloader.
ii  virtualbox-guest-additions-iso             5.1.28-1                                    all          guest additions iso image for VirtualBox
ii  virtualbox-qt                              5.1.28-dfsg-2                               amd64        x86 virtualization solution - Qt based user interface