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

[Ludovic Courtès]

Danny Milosavljevic <address@hidden> 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’.