solv example: always internalize the "installed" repo, support '-i' option