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

From: Danny Milosavljevic <[email-masked]>
Date: Tue, 13 Mar 2018 20:58:37 +0100

Hi Ludo,

> > +;; Note: non-Ada
> > +(define-public python2-quex-0.67.3  
> 
> Move to python.scm?

Sure.

> > +       (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...