Hi Leo, Leo Nikkilä skribis: > After the "hack" introduced for , all GCCs > are built with the current GCC's libstdc++ headers. This results in subtly > broken C++ headers in older versions, which aren't necessarily compatible with > libstdc++s from other versions. [...] > * gnu/packages/gcc.scm (libstdc++, libstdc++-headers): Remove variables. > (make-libstdc++-headers): New procedure. > (gcc-6)[native-inputs]: Use it with `this-package'. > --- > gnu/packages/gcc.scm | 38 ++++++++++++++++++-------------------- > 1 file changed, 18 insertions(+), 20 deletions(-) Somehow this patch fell into the cracks. I’ve now applied it with the change below (using ‘mlambdaq’ for ‘make-libstdc++-headers’); I also shortened the commit log. Thanks! Ludo’.