bug#25997: mirror: Add sourceforge variant with 'projects'.

[Ludovic Courtès]

ng0 <address@hidden> skribis:

> Ludovic Courtès transcribed 0.3K bytes:
>> Hi,
>> 
>> ng0 <address@hidden> skribis:
>> 
>> > This adds a variant of sourceforge mirrors to cover downloads where the 
>> > path includes projects instead of project.
>> 
>> Does that really happen?  Do you have an example?
>> 
>> I thought that when they changed the URL scheme a few months ago they
>> chose one and dismissed the other.
>> 
>> Thanks,
>> Ludo’.
>> 
>> 
>
> No, I run into this regulary. One example we have in the tree: tintin++.

This particular case is fixed with this patch (that I’ll push soon):

diff --git a/gnu/packages/games.scm b/gnu/packages/games.scm
index 550652eef..efa904f7d 100644
--- a/gnu/packages/games.scm
+++ b/gnu/packages/games.scm
@@ -2880,8 +2880,8 @@ the GNU GPL.")
     (version "2.01.2")
     (source (origin
               (method url-fetch)
-              (uri (string-append "https://sourceforge.net/projects/tintin";
-                                  "/files/TinTin++ Source Code/" version
+              (uri (string-append "mirror://sourceforge/tintin"
+                                  "/TinTin++ Source Code/" version
                                   "/tintin" "-" version ".tar.gz"))
               (sha256
                (base32

I suspect that if there are other such cases, they can be addressed
similarly?

Thanks,
Ludo’.