[galaxy-dev] This looks like a Galaxy bug in installation of tools with a complex repository dependency.