From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:45555) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1evq4f-0006R8-BK for guix-patches@gnu.org; Tue, 13 Mar 2018 15:59:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1evq4c-0007dT-6s for guix-patches@gnu.org; Tue, 13 Mar 2018 15:59:05 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:52006) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1evq4c-0007dI-3V for guix-patches@gnu.org; Tue, 13 Mar 2018 15:59:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1evq4b-0003XL-SR for guix-patches@gnu.org; Tue, 13 Mar 2018 15:59:01 -0400 Subject: [bug#30739] [PATCH 2/3] gnu: Add python2-quex. Resent-Message-ID: Date: Tue, 13 Mar 2018 20:58:37 +0100 From: Danny Milosavljevic Message-ID: <20180313205837.60459c28@scratchpost.org> In-Reply-To: <87tvtlnyzu.fsf@gnu.org> References: <20180307002657.31473-1-dannym@scratchpost.org> <20180307010545.31530-1-dannym@scratchpost.org> <20180307010545.31530-2-dannym@scratchpost.org> <87tvtlnyzu.fsf@gnu.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/pb13rZ/GKHNCLOYeC==72zh"; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 30739@debbugs.gnu.org --Sig_/pb13rZ/GKHNCLOYeC==72zh Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Hi Ludo, > > +;; Note: non-Ada > > +(define-public python2-quex-0.67.3 =20 >=20 > Move to python.scm? Sure. > > + (uri (string-append "https://sourceforge.net/projects/quex/file= s/HISTORY/0.67/quex-" version ".zip/download")) =20 >=20 > Rather mirror://sourceforge and a shorter line. I tried, but how does the mirror://sourceforge look like? Can't get it to w= ork in this case... --Sig_/pb13rZ/GKHNCLOYeC==72zh Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAlqoLW0ACgkQ5xo1VCww uqWvWQf/XDfHzBA8DAifHanmfI8V+eouCH/eHu0YXhfmjkx/EZ4jcncGjEorgMV6 K83D38lKhChLmsGbiyX3DtjvsaEPU9R6PxUHhY7CZoYtDuuctkJ7H5ZJfPOHmiiu JNtpnqeojIf/b4R/89dXE4A7HsFaGktivYWk4+yJRQqpgi5/4rbkCF38Lu/vQLar RhfRaIIgzaO5FF6wQFZnBnQoxYzLv2qCAfc1E5RcwsZpEqGTUjHGnLrmV9JOqVsf rwkECkSeTc06AAG1tcOt4plGRFUwa/RG8eQPX0K5ZZ6otRC9/Fu2WDRzzIS5T7DM Q00EnqoiMYk80RLeRJf6eKh6phaZiw== =m3Ns -----END PGP SIGNATURE----- --Sig_/pb13rZ/GKHNCLOYeC==72zh--