aosc-os-arm64-sunxi-boot 20170704 Kernel and U-Boot for 64-bit sunxi platform
linux+kernel+sunxi64 6 The Linux Kernel optimized for Allwinner/sunXi SoCs with 64-bit ARMv8 cores
rtl8723cs 0+git20180618 DKMS driver for the Realtek RTL8723CS Wi-Fi chip
u-boot-sun50i-a64-bananapi-m64 2:2018.07rc1 U-Boot for Banana Pi M64
u-boot-sun50i-a64-pine64-plus 2:2018.07rc1 U-Boot for Pine A64+
u-boot-sun50i-a64-pinebook 2:2018.07rc1.pb20180604 U-Boot for Pinebook
u-boot-sun50i-a64-sopine-baseboard 2:2018.07rc1 U-Boot for SoPine with Model A Baseboard
u-boot-sun50i-a64-teres-i 2:2018.07rc1.pb20180604 U-Boot for Olimex TERES I
u-boot-sun50i-h5-nanopi-neo2 2:2018.07rc1 U-Boot for Nano Pi NEO2
u-boot-sun50i-h5-orangepi-pc2 2:2018.07rc1 U-Boot for Orange Pi PC2
u-boot-sun50i-h5-orangepi-prime 2:2018.07rc1 U-Boot for Orange Pi Prime

DPKG package older than source (staging) or missing

DPKG package up to date

Source (staging) has removed the package