The source for android-mips-system-image-13 is no longer available upstream. What is usually done for cases like this? If the answer is removal form the AUR then please do so TUs. Regards, Joel Pedraza