Hello, 12 of 28 mirrors in the 'sourceforge' mirror group in the profiles/thirdpartymirrors file appear to be dead. These were checked as part of an analysis of all third party mirror lists. The dead mirrors should probably be removed, and in this case there is almost certainly a more up-to-date list at sourceforge we could use. Here is a status of all 'sourceforge' mirrors: bad: http://biznetnetworks.dl.sourceforge.net bad: http://cdnetworks-kr-1.dl.sourceforge.net bad: http://cdnetworks-kr-2.dl.sourceforge.net bad: http://cdnetworks-us-1.dl.sourceforge.net bad: http://cdnetworks-us-2.dl.sourceforge.net good: http://dfn.dl.sourceforge.net good: http://freefr.dl.sourceforge.net good: http://garr.dl.sourceforge.net good: http://heanet.dl.sourceforge.net bad: http://ignum.dl.sourceforge.net bad: http://internap.dl.sourceforge.net good: http://internode.dl.sourceforge.net good: http://iweb.dl.sourceforge.net good: http://jaist.dl.sourceforge.net good: http://kent.dl.sourceforge.net bad: http://mesh.dl.sourceforge.net good: http://nchc.dl.sourceforge.net good: http://ncu.dl.sourceforge.net bad: http://ovh.dl.sourceforge.net bad: http://puzzle.dl.sourceforge.net good: http://softlayer.dl.sourceforge.net good: http://sunet.dl.sourceforge.net good: http://surfnet.dl.sourceforge.net good: http://switch.dl.sourceforge.net bad: http://transact.dl.sourceforge.net good: http://ufpr.dl.sourceforge.net bad: http://voxel.dl.sourceforge.net good: http://waix.dl.sourceforge.net Thanks!
Burninated all but ignum (sourceforge lists it as a current mirror) and added the mirrors that sourceforge has listed as current. Thanks for the report!