Hi Andres,
Searching a bit more, and reading the PostgreSQL wiki pages about
debugging, I have now found the 'find-dbgsym-packages' command, part of
the 'debian-goodies'
Installing and running this against a postgres process ID, returned the
following debug symbol packages. Does this list seem about right for you?
Marco
lib32stdc++6-14-dbg
libkrb5-dbg
libstdc++6-14-dbg
libx32stdc++6-14-dbg
postgresql-18-dbgsym