ide/index_urls.txt is not there anymore
ide/index_urls.txt is not there anymore

ezyang/coq-packaging,ezyang/coq-packaging-precise,ezyang/coq-packaging,ezyang/coq-packaging,ezyang/coq-packaging-precise,ezyang/coq-packaging-precise