Index of /repo/debian12/EFI/boot/

../
bootia32.efi                                       11-Jul-2026 14:07              841808
bootx64.efi                                        11-Jul-2026 14:07             1048504
grubia32.efi                                       11-Jul-2026 14:07             3741120
grubx64.efi                                        11-Jul-2026 14:07             4183488