Source: androidsdk-tools Version: 22.2+git20130830~92d25d6-4 Severity: serious
It looks like source:androidsdk-tools has been replaced by source:android-platform-tools-swt. Although a bit confusing, it looks like the newer android-platform-tools-swt corresponds with version 25. Can we go ahead and remove androidsdk-tools? On the other hand, the newer android-platform-tools-swt hasn't been buildable since January. But the tools are deprecated and apparently removed in newer Android SDK versions anyway. Thanks, Jeremy Bicha
