aosc-os-arm64-sunxi-boot 20170704 Kernel and U-Boot for 64-bit sunxi platform
Legend:

DPKG package older than source (staging) or missing

DPKG package up to date

Source (staging) has removed the package