repo manifest for libretro