../ gxde-kernel-manager_1.2.2_arm64.deb.package 10-Aug-2025 11:39 1025 gxde-kernel-manager_1.2.2_riscv64.deb.package 10-Aug-2025 11:39 1040