Re: [PATCH] gnu: Add gnushogi and xshogi

[Leo Famulari <leo@famulari.name>]

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

On Thu, Feb 23, 2017 at 06:19:19AM +0100, John Darrington wrote:
> On Wed, Feb 22, 2017 at 04:58:07PM -0500, Leo Famulari wrote:
>      On Wed, Feb 22, 2017 at 08:15:04PM +0100, John Darrington wrote:
>      > * gnu/packages/games.scm (gnushogi, xshogi): New variables.
>      
>      > +(define-public xshogi
>      
>      [...]
>      
>      > +    ;; Contains a copy of GPLv3 but the licence notices simply
>      > +    ;; state "GNU General Public Licence" without specifying a version.
>      > +    (license license:gpl1+)))
>      
>      Section 14 of the GPL says "If the Program does not specify a
>      version number of the GNU General Public License, you may choose any
>      version ever published by the Free Software Foundation."
>      
> You are correct.  That is why I put gpl1+
>      
>      Do we want to use version 1 of the GPL? I don't fully understand the
>      issues with it, but it's an unusual choice.
> 
> I don't have a strong opinion here.  But there is a precedent in Guix, that 
> where upstream permits a package to be distributed under a choice of licences,
> we simply present that choice to our users.  We don't - at least I haven't seen 
> any instances of it - choose a particular one that suits us, unless there is a 
> good reason for doing that.

Okay, that makes sense to me. Please do as you see fit :)

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]