Manifest files used by Google's repo tool