Re: [PATCH] gnu: Add gnushogi and xshogi

[John Darrington]

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.

J'

-- 
Avoid eavesdropping.  Send strong encrypted email.
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.

signature.asc
Description: Digital signature