trouble in fetching package index files

[Wenzhuo Zhang]

I can download the index file using HTTP from servers in US and NL.  So
it's probably the infamous great firewall in my country which breaks the
download.

Wenzhuo