From be97c7ed1183e4176a2d4b4d6e116aaa139ce000 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Sun, 22 Jan 2023 01:00:00 +0100
Subject: [PATCH] download: Remove dead SourceForge mirrors.

* guix/download.scm (%mirrors): Remove dl.sourceforge.net subdomains
that no longer resolve.
---
 guix/download.scm | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/guix/download.scm b/guix/download.scm
index 2e9ecb43fc..fff54d7a17 100644
--- a/guix/download.scm
+++ b/guix/download.scm
@@ -112,22 +112,16 @@
       (sourceforge ; https://sourceforge.net/p/forge/documentation/Mirrors/
        "http://downloads.sourceforge.net/project/"
        "http://ufpr.dl.sourceforge.net/project/"
-       "http://heanet.dl.sourceforge.net/project/"
        "http://freefr.dl.sourceforge.net/project/"
        "http://internode.dl.sourceforge.net/project/"
        "http://jaist.dl.sourceforge.net/project/"
-       "http://kent.dl.sourceforge.net/project/"
        "http://liquidtelecom.dl.sourceforge.net/project/"
        ;; "http://nbtelecom.dl.sourceforge.net/project/"  ;never returns 404s
        "http://nchc.dl.sourceforge.net/project/"
-       "http://ncu.dl.sourceforge.net/project/"
        "http://netcologne.dl.sourceforge.net/project/"
        "http://netix.dl.sourceforge.net/project/"
        "http://pilotfiber.dl.sourceforge.net/project/"
-       "http://superb-sea2.dl.sourceforge.net/project/"
-       "http://tenet.dl.sourceforge.net/project/"
-       "http://vorboss.dl.sourceforge.net/project/"
-       "http://netassist.dl.sourceforge.net/project/")
+       "http://tenet.dl.sourceforge.net/project/")
       (netfilter.org ; https://www.netfilter.org/mirrors.html
        "http://ftp.netfilter.org/pub/"
        "ftp://ftp.es.netfilter.org/mirrors/netfilter/"