Summary: | media-sound/gnump3d has incorrect LICENSE | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | ganooslashlinus |
Component: | Current packages | Assignee: | 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
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 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(+) |