From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH] gnu: Add argtable. Date: Wed, 01 Apr 2015 11:12:19 +0200 Message-ID: <87r3s4w6to.fsf@gnu.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:36512) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YdEhG-0002cW-N7 for guix-devel@gnu.org; Wed, 01 Apr 2015 05:12:27 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YdEhB-0001CY-KZ for guix-devel@gnu.org; Wed, 01 Apr 2015 05:12:26 -0400 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:51169) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YdEhB-0001CU-HX for guix-devel@gnu.org; Wed, 01 Apr 2015 05:12:21 -0400 In-Reply-To: (Ricardo Wurmus's message of "Tue, 31 Mar 2015 16:30:48 +0200") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Ricardo Wurmus Cc: Guix-devel Ricardo Wurmus skribis: > attached is a patch to add argtable. Ultimately, the "popt" module > should probably be renamed to something like "optparsers", but since > finding good names is something I'm not good at, I'll leave that to > someone else :) :-) > From c305bf1e75ad764b59845e440190bbbec675acb2 Mon Sep 17 00:00:00 2001 > From: Ricardo Wurmus > Date: Tue, 31 Mar 2015 16:28:51 +0200 > Subject: [PATCH] gnu: Add argtable. > > * gnu/packages/popt.scm (argtable): New variable. [...] > + (uri (string-append > + "http://prdownloads.sourceforge.net/argtable/argtabl= e" > + (string-join (string-split version #\.) "-") Please use mirror://. OK to push with that change. Thanks! Ludo=E2=80=99.