Bug#832062: supertuxkart: source for GPL song Boom_boom_boom.ogg missing

James Cowgill jcowgill at debian.org
Mon Jul 25 23:20:52 UTC 2016


Hi,

On Mon, 2016-07-25 at 22:44 +0000, Jacob's PC Tune-up wrote:
>  > The source of the .ogg file is missing.
> 
> The mod is actually in the media repo: 
> https://svn.code.sf.net/p/supertuxkart/code/media/trunk/music/mods/Boom_boom_boom.mod

It's still a bug - the source has to be in the archive somewhere so
that it can't disappear.

> 
> The license of modarchive modules prohibits modification, so the file
> would be non-free for Debian anyway (even if the "source" was
> included).
> 
> modarchive licensing should not be an issue, since it is in the media
> repo.

I disagree:

[This all assumes the mod was downloaded from the modarchive and you
didn't get any extra permission from the module author]

If the OGG is under the GPL, then Debian has to redistribute the source
somewhere - which it can't because the source is non-free.

The original license ONLY permits unmodified redistribution. Converting
the mod to another format isn't covered and is therefore a license
violation (so the OGG can't be redistributed period).

James
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://lists.alioth.debian.org/pipermail/pkg-games-devel/attachments/20160726/1113df75/attachment.sig>


More information about the Pkg-games-devel mailing list