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