Repo manifest for CRASH