Use custom repo for Archimedes Server.