Paolo Carlini wrote: > Indeed, the libstdc++-v3 bits are OK with me (assuming someone regtested the whole package, of course). > To be sure, earlier today I also did it successfully myself, on x86_64-linux. Paolo.