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 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. 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.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/android-platform-dummy/