Package DPKG Version
linux-kernel-5.0.9 5.0.9
xf86-video-mach64 6.9.6