The repository for the second robot format.