[Android-tools-devel] Bug#856410: android-sdk: Please depend on proguard-cli only

[Paride Legovini]

Package: android-sdk
Severity: normal

Dear Maintainers,

Currently android-sdk Depends: on proguard, which on turn depends on
both proguard-cli and proguard-gui. Depending only on proguard-cli
should be enough for this package, while in a headless server
proguard-gui brings in more than 140 unuseful GUI packagees.
Please consider modifying the dependency.

Thank you,

Paride