Re: New package: FPLLL

[Andreas Enge <andreas@enge.fr>]

[-- Attachment #1: Type: text/plain, Size: 1334 bytes --]

Am Mittwoch, 12. Dezember 2012 schrieb Ludovic Courtès:
> >    (license "LGPLv2.1")
> It seems to be LGPLv2.1+ rather.

The file README.html states:
"fplll is distributed under GNU Lesser General
Public License (v2.1) as published by the Free Software Foundation."

I checked two source files, which say
"or (at your option) any later version".
I suppose this is authoritative.

But I will ask the authors to clarify.

Am Mittwoch, 12. Dezember 2012 schrieb Nikita Karetnikov:
> Please use (guix licenses) instead.

Could you provide an example on how to do this? As far as I could see, all
files in distro/packages still use strings for the licenses.

Am Mittwoch, 12. Dezember 2012 schrieb Ludovic Courtès:
> > It could go into multiprecision.scm, or get its own file.
> Yes, multiprecision.scm would seem like a good option to me.  WDYT?

It depends on whether you would rather go for one file per package (maybe
to be organised in subdirectories), or one file per group of packages of a
similar category.

Even in the latter case, it looks like multiprecision.scm is not a very
good place, since it regroups the dependencies of gcc. Maybe algebra.scm?
It could also contain mpfrcx, gmp-ecc and maybe pari (which does not
exactly follow gnu build standards, so I would need some help).

Andreas

[-- Attachment #2: Type: text/html, Size: 6793 bytes --]