Manifest needed by the google repo tool for gathering the required bits to create the source package for gcc-arm-linux-androideabi Debian package.