Edit: Wow, quick response there! Thanks for the pointers guys, looks like the dbginfo michael@0: packages are there, just take a bit to get to. I had installed the dbg packages (or at michael@0: least some of them, the ones that I saw with apt-cache search dbg that were relevant), but michael@0: there wasn’t coverage for some packages — in particular the x server. I’m michael@0: going to try Travis’s suggestion, thanks!
michael@0: