On 05/26/2014 04:09 PM, Petr Bena wrote: > I have .deb's but they are on launchpad and someone said that we > shouldn't allow ppa's on tools project We don't, but there's nothing that prevents us from grabbing the .deb, reviewing it, and adding it to the local repo. :-) -- Marc