From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: New package: FPLLL
Date: Wed, 12 Dec 2012 14:28:08 +0100
Message-ID: <87ehiv9z87.fsf@gnu.org>
References: <201212112323.53992.andreas@enge.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([208.118.235.92]:55151)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1TimMD-0008E6-In
	for bug-guix@gnu.org; Wed, 12 Dec 2012 08:28:23 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1TimM7-0006qw-40
	for bug-guix@gnu.org; Wed, 12 Dec 2012 08:28:17 -0500
Received: from mail1-relais-roc.national.inria.fr ([192.134.164.82]:11491)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@gnu.org>)
	id 1TimM6-0006qj-Tq
	for bug-guix@gnu.org; Wed, 12 Dec 2012 08:28:11 -0500
In-Reply-To: <201212112323.53992.andreas@enge.fr> (Andreas Enge's message of
	"Tue, 11 Dec 2012 23:23:53 +0100")
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
To: Andreas Enge <andreas@enge.fr>
Cc: bug-guix@gnu.org

Hi Andreas!

Andreas Enge <andreas@enge.fr> skribis:

> Here is a recipe:

Thanks!  I could add it, but in the long run I=E2=80=99d prefer patches as
produced by =E2=80=98git format-patch=E2=80=99, which has the advantage of =
being readily
applicable, and preserving authorship.  Would it be possible for you?

>    (license "LGPLv2.1")

It seems to be LGPLv2.1+ rather.

> It could go into multiprecision.scm, or get its own file.

Yes, multiprecision.scm would seem like a good option to me.  WDYT?

Thanks,
Ludo=E2=80=99.