Re: [PRQ#49028] Deletion Request for android-platform-dummy

2023-10-15 Thread Marcell Meszaros
Hi @muflone, Thank you for your reply. There was an argument for having these packages for tracking system library dependencies and aiding their installation. But for that purpose, a meta package is better, one which does not itself provide the target runtime/sdk. >A workaround exists using pa

Re: [PRQ#49028] Deletion Request for android-platform-dummy

2023-10-15 Thread Muflone
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-platfo

Re: [PRQ#49028] Deletion Request for android-platform-dummy

2023-10-15 Thread Marcell Meszaros
In re to my remark, >I don't know why this one would be particularly useful. Having a dummy package installed defeats the purpose of using a package manager. If a package requires another package, there's a good reason for it, and both should be installed in the system for them to work. No one