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

[Guus Sliepen]

Source: supertuxkart
Version: 0.9.2-1
Severity: serious
Justification: does not include source code of GPL licensed work

Supertuxkart contains a song called "Boom boom boom" in Ogg Vorbis
format. According to the credits and debian/copyright, this song is
created by Matt Thomas, and is licensed under the GNU GPL v3 or later.
The source of the .ogg file is missing. Although what consists the
source of media assets can be unclear, I would like to point out that
there is also a module tracker version of this song, which can
reasonably considered the source, as it contains the score, the samples
used and can be editted in any module editor:

https://modarchive.org/index.php?request=view_by_moduleid&query=38184

This module contains the following text:

> -kbx128-  march 1993
> music for a crap amos
> game written by my
> brother.(only joking)

There is also some doubt that Matt Thomas and kbx128 are the same
person:

http://forum.freegamedev.net/viewtopic.php?t=6562&p=66000

-- System Information:
Debian Release: stretch/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.6.0-1-amd64 (SMP w/12 CPU cores)
Locale: LANG=nl_NL.UTF-8, LC_CTYPE=nl_NL.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

-- no debconf information