The package android-tools is now available in better form from the main repository, see here
It should be removed from this repository to avoid confusion and conflicting release versions.
Caveat: People who already have installed android-tools now have a version with a much higher release number than the one from the main repository and will not receive updates as long as the main repository packages hasn't caught up in that regard, unless I'm misunderstanding the update process.
This goes hand-in-hand with getsolus/help-center-docs#219
The package android-tools is now available in better form from the main repository, see here It should be removed from this repository to avoid confusion and conflicting release versions.
Caveat: People who already have installed android-tools now have a version with a much higher release number than the one from the main repository and will not receive updates as long as the main repository packages hasn't caught up in that regard, unless I'm misunderstanding the update process.
This goes hand-in-hand with getsolus/help-center-docs#219