aosc-os-arm64-sunxi-boot 20170704 Kernel and U-Boot for 64-bit sunxi platform
linux+kernel+sunxi64 4 The Linux Kernel optimized for Allwinner/sunXi SoCs with 64-bit ARMv8 cores
linux-kernel-sunxi64-4.14-rc7 4.14.0rc7-3 Linux Kernel version 4.14-rc7 optimized for Allwinner/sunXi SoCs with 64-bit ARMv8 cores
rtl8723cs 0+git20171027 DKMS driver for the Realtek RTL8723CS Wi-Fi chip
u-boot-sun50i-a64-bananapi-m64 2:2017.09 U-Boot for Banana Pi M64
u-boot-sun50i-a64-pine64-plus 2:2017.09 U-Boot for Pine A64+
u-boot-sun50i-a64-pinebook 2:2017.09 U-Boot for Pinebook
u-boot-sun50i-a64-sopine-baseboard 2:2017.09 U-Boot for SoPine with Model A Baseboard
u-boot-sun50i-h5-nanopi-neo2 2:2017.09 U-Boot for Nano Pi NEO2
u-boot-sun50i-h5-orangepi-pc2 2:2017.09 U-Boot for Orange Pi PC2
u-boot-sun50i-h5-orangepi-prime 2:2017.09 U-Boot for Orange Pi Prime
Legend:

DPKG package older than source (staging) or missing

DPKG package up to date

Source (staging) has removed the package