Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 877421

Summary: media-sound/gnump3d has incorrect LICENSE
Product: Gentoo Linux Reporter: ganooslashlinus
Component: Current packagesAssignee: Gentoo Sound Team <sound>
Status: RESOLVED FIXED    
Severity: normal CC: jstein, licenses
Priority: Normal Keywords: PullRequest
Version: unspecified   
Hardware: All   
OS: Other   
See Also: https://github.com/gentoo/gentoo/pull/32410
Whiteboard:
Package list:
Runtime testing required: ---

Description ganooslashlinus 2022-10-17 10:33:59 UTC
LICENSE="GPL-2"

The licensing is very sloppy:

In README:
License
-------

  As the name might suggest, this software is distributed under
 the terms of the GNU Public License, version 2.

  Please find a copy of the GNU Public License included with the
 source archive in the file COPYING, it will also be accessible
 from the server itself; read the startup banner for details.


But in the startup banner, any version of the GPL is noted:

GNUMP3d is free software, covered by the GNU General Public License,
and you are welcome to change it and/or distribute copies of it under
certain conditions.


Every file with a GPLv2 header notes GPLv2-or-later.


There are also a few files which lack a license, so GPLv2-only may be the license on those.


A lot of files mention that they're under the Perl license, or something similar to:
This library is free software; you can redistribute it and/or modify
it under the same terms as Perl itself.


As a result, as far as I can tell, LICENSE should be:
LICENSE="GPL-2 GPL-2+ || ( Artistic GPL-1+ )"
Comment 1 ganooslashlinus 2022-10-18 11:17:39 UTC
In correction, as far as I can tell, LICENSE should be:
LICENSE="GPL-2+ || ( Artistic GPL-1+ )"

Here it is noted that the license is GPLv2-or-later (with the project admin being the primary author): https://savannah.gnu.org/projects/gnump3d
Comment 2 Larry the Git Cow gentoo-dev 2023-08-23 06:31:40 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b0a2a3006728ab5a9af5c802e94b9a99af5f1521

commit b0a2a3006728ab5a9af5c802e94b9a99af5f1521
Author:     Michael Mair-Keimberger <mmk@levelnine.at>
AuthorDate: 2023-08-22 16:12:08 +0000
Commit:     Miroslav Šulc <fordfrog@gentoo.org>
CommitDate: 2023-08-23 06:31:34 +0000

    media-sound/gnump3d: EAPI8 bump, fix LICENSE
    
    Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
    
    Closes: https://bugs.gentoo.org/877421
    Closes: https://github.com/gentoo/gentoo/pull/32410
    Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>

 media-sound/gnump3d/gnump3d-3.0-r5.ebuild | 76 +++++++++++++++++++++++++++++++
 1 file changed, 76 insertions(+)