Package: memtest86+ Version: 6.00-1 Severity: minor Quoting from /usr/share/doc/memtest86+/README.Debian:
| Multiple binary images are provided: | | - A legacy bios 32bit /boot/memtest86+x32.bin that uses Linux zImage | boot protocol. | | - A legacy bios 64bit /boot/memtest86+x64.bin that uses Linux zImage | boot protocol. | | - A 32bit EFI Image /boot/memtest86+x32.bin | | - A 64bit EFI Image /boot/memtest86+x64.bin Those are twice the same file names (e.g. /boot/memtest86+x64.bin), I suppose the later ones are meant to refer to /boot/memtest86+x32.efi + /boot/memtest86+x64.efi? regards -mika-
