Index of /dev/pool/main/g/grub-efi-ia32-signed/


../
grub-efi-ia32-signed_1+2.04+20.dsc                 13-Jul-2021 20:00                1715
grub-efi-ia32-signed_1+2.04+20.tar.xz              13-Jul-2021 20:00                4672
grub-efi-ia32-signed_1+2.06+2.dsc                  30-Nov-2021 05:58                1710
grub-efi-ia32-signed_1+2.06+2.tar.xz               30-Nov-2021 05:58                4676