Fixed (added) in ppa:ddstreet/ubuntu-dev-tools.
https://launchpad.net/~ddstreet/+archive/ubuntu/ubuntu-dev-tools
Fixed (added) in ppa:ddstreet/ ubuntu- dev-tools.
https:/ /launchpad. net/~ddstreet/ +archive/ ubuntu/ ubuntu- dev-tools