Correct dependancy repository locations

The repositories on dreid have been moved to mochi.