Hey Henny!

:r !gcc --version | sed 's/^/ > /'

gcc (GCC) 12.3.0
Copyright (C) 2022 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

It was just released earlier today. Of note is;

:r !firefox --version | sed 's/^/ > /'

Mozilla Firefox 102.10.0esr

So it looks like gcc-13.1.0 is not quite ready for primetime ... yet. I guesstimate no later than August when glibc-2.38 becomes mainstream. In the meantime this gcc-12.3.0 based partition appears to be up to the task of taking charge of at least this particular machine. I can easily live with this.

Life is good,
Maurice

o- o- o- o- -o -o o- -o -o o- o- -o o- -o -o o- /) /) /) /) (\ (\ /) (\ (\ /) /) (\ /) (\ (\ /) ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ^^ ... Fidonet 4K - Sweet Sixteen Penguins of the Apocalypse.
--- GNU bash, version 5.2.15(1)-release (x86_64-pc-linux-gnu)
* Origin: One of us @ (1:153/7001.2989)