../ efibootmgr-dbgsym_17-2_riscv64.deb 25-May-2024 17:50 53888 efibootmgr_17-2.debian.tar.xz 08-May-2024 14:37 7684 efibootmgr_17-2.dsc 08-May-2024 14:37 2115 efibootmgr_17-2_riscv64.deb 25-May-2024 17:50 27060 efibootmgr_17.orig.tar.gz 08-May-2024 14:37 41643