ok, regardless: the answer is to set a custom ivysettings.xml file, with a line referring to that repository