Subject: Re: [bug#30739] [PATCH 2/3] gnu: Add python2-quex.

From: [email-masked] (Ludovic Courtès)
Date: Tue, 13 Mar 2018 22:09:43 +0100

Danny Milosavljevic <[email-masked]> skribis:

>> > +       (uri (string-append "https://sourceforge.net/projects/quex/files/HISTORY/0.67/quex-" version ".zip/download"))  
>> 
>> Rather mirror://sourceforge and a shorter line.
>
> I tried, but how does the mirror://sourceforge look like? Can't get it to work in this case...

Yeah it always takes me some trial and error to find the right scheme.
It should be along the lines of
“mirror://sourceforge/quex/HISTORY/0.67/quex-0.6.7.zip” but I can’t get
it right.

At worst it’s OK to keep the above URL.

Ludo’.