Bernhard Übelacker Tue, 08 Nov 2016 14:51:29 -0800
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.