Repo manifest for Android compilation