Package DPKG Version
linux-kernel-libre-4.14.43-gnu 4.14.43-1
linux-kernel-lts-4.14.35 4.14.35