Sauter la navigation du site

Packages

• About Debian
• Getting Debian
• Assistance
• Developers' Corner

/usr/lib/grub/i386-efi-signed/gcdia32.efi.signed
/usr/lib/grub/i386-efi-signed/grubia32.efi.signed
/usr/lib/grub/i386-efi-signed/grubnetia32-installer.efi.signed
/usr/lib/grub/i386-efi-signed/grubnetia32.efi.signed
/usr/share/bug/grub-efi-ia32-signed/control
/usr/share/doc/grub-efi-ia32-signed/changelog.gz
/usr/share/doc/grub-efi-ia32-signed/copyright