[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#30739] [PATCH 2/3] gnu: Add python2-quex.
From: |
Danny Milosavljevic |
Subject: |
[bug#30739] [PATCH 2/3] gnu: Add python2-quex. |
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...
pgpQc2GKYJ54B.pgp
Description: OpenPGP digital signature
[bug#30739] [PATCH 3/3] gnu: Add python2-libadalang., Danny Milosavljevic, 2018/03/06
[bug#30739] [PATCH 1/3] gnu: Add python2-langkit., Ludovic Courtès, 2018/03/12
[bug#30739] Invalid timezone (tzalloc failure) treated as out-of-memory, Paul Eggert, 2018/03/11
bug#30739: Invalid timezone (tzalloc failure) treated as out-of-memory, Paul Eggert, 2018/03/11