A Mennucc <deb...@tonelli.sns.it> wrote: > IMHO instead amd64 is to be preferred, since it is the official > Debian name for that kind of architecture, and there are already many > packages in Debian that contain 'amd64' in their name
Except we're not talking about binaries running on the system but binaries running in the EFI environment. And that platform in that environment is named x64. JB. -- Julien BLACHE - Debian & GNU/Linux Developer - <jbla...@debian.org> Public key available on <http://www.jblache.org> - KeyID: F5D6 5169 GPG Fingerprint : 935A 79F1 C8B3 3521 FD62 7CC7 CD61 4FD7 F5D6 5169 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
