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

Attachment: signature.asc
Description: This is a digitally signed message part

Reply via email to