10-04-2020, 09:00 PM
No. It seems MicroG would do the job, and there are maybe a few others. But the person for whom I was setting up Android seems to have acclimated to Manjaro, which I guess is fine so long as it just keeps working and I don't have to mess with it. Arch Linux, which I never used before, seems to stray too far from Unix for me.