Symbol: repo_add_solvable