ii  linux-headers-4.13.0-16                                          4.13.0-16.19                                all          Header files related to Linux kernel version 4.13.0
ii  linux-headers-4.13.0-16-generic                                  4.13.0-16.19                                amd64        Linux kernel headers for version 4.13.0 on 64 bit x86 SMP
ii  linux-headers-4.13.0-22                                          4.13.0-22.25                                all          Header files related to Linux kernel version 4.13.0
ii  linux-headers-4.13.0-22-generic                                  4.13.0-22.25                                amd64        Linux kernel headers for version 4.13.0 on 64 bit x86 SMP
ii  linux-headers-4.13.0-24                                          4.13.0-24.28                                all          Header files related to Linux kernel version 4.13.0
ii  linux-headers-4.13.0-24-generic                                  4.13.0-24.28                                amd64        Linux kernel headers for version 4.13.0 on 64 bit x86 SMP
ii  linux-headers-generic                                            4.13.0.24.25                                amd64        Generic Linux kernel headers
ii  virtualbox                                                       5.1.30-dfsg-1                               amd64        x86 virtualization solution - base binaries
ii  virtualbox-dkms                                                  5.1.30-dfsg-1                               all          x86 virtualization solution - kernel module sources for dkms
ii  virtualbox-ext-pack                                              5.1.30-2                                    all          extra capabilities for VirtualBox, downloader.
ii  virtualbox-guest-additions-iso                                   5.1.30-1                                    all          guest additions iso image for VirtualBox
ii  virtualbox-guest-dkms                                            5.1.30-dfsg-1                               all          x86 virtualization solution - guest addition module source for dkms
ii  virtualbox-guest-utils                                           5.1.30-dfsg-1                               amd64        x86 virtualization solution - non-X11 guest utilities
ii  virtualbox-guest-x11                                             5.1.30-dfsg-1                               amd64        x86 virtualization solution - X11 guest utilities
ii  virtualbox-qt                                                    5.1.30-dfsg-1                               amd64        x86 virtualization solution - Qt based user interface