Merge pull request #16976 from phanimahesh/sourceforge-mirrors

mirrors: add downloads.sourceforge.net
This commit is contained in:
Joachim F
2016-07-16 13:12:49 +02:00
committed by GitHub

View File

@@ -10,6 +10,7 @@ rec {
# SourceForge.
sourceforge = [
http://downloads.sourceforge.net/
http://prdownloads.sourceforge.net/
http://heanet.dl.sourceforge.net/sourceforge/
http://surfnet.dl.sourceforge.net/sourceforge/