Hi
No one forces anyone to install Android IDE's and Android SDK's / platform tools into the system. They can live happily inside the user's home folder as well. In that case, the user is not using pacman to manage those installations.
There are many packages in AUR requiring android-platform or android-sdk and both can be provided by user side simply downloading them using the Android SDK Manager, it's also written in the package comments what are the reasons behind these packages.
On 15 October 2023 12:15:04 GMT+02:00, notify@aur.archlinux.org wrote:
MarsSeed [1] filed a deletion request for android-platform-dummy [2]:
According to some TU's, dummy packages are not allowed on AUR.
I don't know why this one would be particularly useful.
I don't have a strong opinion about dummy packages, for sure there must not be a reason to duplicate every packages as they could be provided by user side, of course. Android packages are somewhat special as they are really huge. As developer I had tens of android platform versions and the same for the android SDK and system images. At the same time I have nothing against the deletion if they are not useful for many people but for my opinion they are useful (I'm not accepting or closing the request for the moment). A workaround exists using pacman --assume-installed I think the dummy packages argument worth a separate discussion in aur-general, not just a couple TU's opinion Best regards -- Fabio Castelli aka Muflone