allow specifying multiple repository URIs in DefListOptions