Ubuntu
ubuntu-dev-tools package

  1. Bug #1862286
  2. Comment #4

Comment 4 for bug 1862286

Revision history for this message
Dan Streetman (ddstreet) wrote :

MR ready, but it's based on my git repo, which includes the fixes for bug 1860456

fixed pkgs as usual in my ppa
https://launchpad.net/~ddstreet/+archive/ubuntu/ubuntu-dev-tools