I was not aware of this repo. Just checked the source package at packages.debian.org, but did not find an entry for a dbg package. Thank you very much.