Package DPKG Version
linux-kernel-sunxi64-4.13.10 4.13.10
linux-kernel-sunxi64-4.14-rc6 4.14.0rc6