http://www.puias.princeton.edu/data/puias/DevToolset/$releasever/$basearch http://puias.math.ias.edu/data/puias/DevToolset/$releasever/$basearch http://mirror.math.princeton.edu/pub/springdale/springdale/DevToolset/$releasever/$basearch