Plenty of stuff in ubuntu-dev-tools is generally useful stuff. Until another place is found, this seems totally fine to me.
Plenty of stuff in ubuntu-dev-tools is generally useful stuff. Until another place is found, this seems totally fine to me.