Maxim Cournoyer schreef op do 24-06-2021 om 00:40 [-0400]:
> +            (define (gnu-machine-type->debian-machine-type type)
> +              "Translate machine TYPE from the GNU to Debian terminology."
> +              ;; Debian has its own jargon, different from the one used in GNU, for
> +              ;; machine types (see data/cputable in the sources of dpkg).
> +              (match type
> +                ("i686" "i386")
> +                ("x86_64" "amd64")

I'd add i586->i386 here as well, to allow the "i586-gnu" target (for the Hurd).
(Debian has a Hurd port: https://www.debian.org/ports/hurd/).
Maybe more is needed for proper Hurd support though.

For completeness, I'd also add i486->i386,
to allow "guix pack hello --target=i486-linux-gnu --format=tarball"
as well. Ok, i486-linux-gnu isn't a ‘supported’ cross-target, but why not?

Greetings,
Maxime.