Re: New package: FPLLL

[Andreas Enge]

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