Symbol: repo_add_solv