I am trying to get a stack trace from gnome-shell but Kali does not provide debug symbols for all of its packages.

There is more info about why I need a stack trace over at the gnome bug tracker, and what I have tried so far.

I did find debug symbols for gnome-shell and libmutter in Debian deb http://deb.debian.org/debian-debug/ testing-debug main but those versions does not match with the same packages provided in Kali (deb http://http.kali.org/kali kali-rolling main contrib non-free non-free-firmware).

While deb-src http://http.kali.org/kali kali-rolling main contrib non-free non-free-firmware exist, I fail to see what the source code package name for gnome-shell and libmutter and building from source seems to defeat the point of debugging the package that actually fails. I guess I could build the exact same package and create debug symbols, if I knew what the source code package name scheme but it does not seem to be document at https://www.kali.org/docs/general-use/kali-branches/.