Package DPKG Version
linux-kernel-sunxi64-4.13.10 4.13.10
linux-kernel-sunxi64-4.14-rc6 4.14.0rc6
linux-kernel-sunxi64-4.14-rc7 4.14.0rc7-3
linux-kernel-sunxi64-4.14.49 4.14.49-1