Subject: Re: bug#64188: [PATCH 0/8] More package tuning

From: Ludovic Courtès <[email-masked]>
Date: Sun, 25 Jun 2023 22:49:56 +0200

Efraim Flashner <[email-masked]> skribis:

> * gnu/packages/gcc.scm (%gcc-11-x86_64-micro-architectures): Add entries
> for x86_64-v{1,2,3,4}.

[...]

> +            "x86_64-v1" "x86_64-v2" "x86_64-v3" "x86_64-v4")))  ; Generic

Nitpick: I’d call it “psABI micro-architecture levels” because I think
that’s what the SysV psABI document calls them.

Otherwise LGTM!

Ludo’.