../ gxde-kernel-manager_1.3.3_amd64.deb 22-Dec-2025 13:31 859K gxde-kernel-manager_1.3.3_arm64.deb 22-Dec-2025 13:31 854K gxde-kernel-manager_1.3.3_mips64el.deb 22-Dec-2025 13:31 859K gxde-kernel-manager_1.3.3_riscv64.deb 22-Dec-2025 13:31 858K